theorem Th1: :: NOMIN_2:1

for a, b, c being object
for A being set holds
( {a,b,c} c= A iff ( a in A & b in A & c in A ) )