for T being 1-sorted
for F, G being Subset-Family of T holds (union F) \ (union G) c= union (F \ G)