for X being set holds
not for o being object holds o in X