for a, b being set holds
( a is Subset of b iff a c= b )