for x being object
for X being set st x in X holds
X /\ {x} = {x} by Lm1, XBOOLE_1:28;