theorem Th11: :: CARD_FIL:11

for X being non empty set
for I being Ideal of X holds {} in I