for U being set
for A, B being Subset of U st not A c= B holds
Inter (A,B) = {}