for X being set st X c= {} holds
X = {}