File:Emptyset.png

(I think)