theorem Th2: :: PROB_1:2

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