for X being set
for A, B being Subset of X holds {A,B} is Subset-Family of X