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