theorem :: XBOOLE_1:2

for X being set holds {} c= X ;