for X being non empty set
for D being Subset-Family of X
for A being Subset of D holds union A is Subset of X