theorem Th1: :: SCMYCIEL:1

for x being object
for X being set holds not [x,X] in X