for A being set
for X being Subset of A holds { {x} where x is Element of A : x in X } is Subset-Family of A