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