File:Empty set.svg