for X being set st X <> {} holds
{} c< X