for X being set
for D being non empty set holds
( D c= X iff D in BOOL X )