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