for G being non empty subset-closed set holds {} in G