theorem :: MEASURE1:18

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