theorem Th14: :: CANTOR_1:14

for X being set
for A, B being Subset-Family of X st A c= B holds
FinMeetCl A c= FinMeetCl B