Is emptysetsubsetA\\emptyset \\subset AemptysetsubsetA for every set AAA?
Yes, always
No, only if A is non-empty
Only if A is the universal set
Never