for X being set
for H, J being Subset-Family of X st H c= J holds
Intersect J c= Intersect H