for X being non empty set
for B being Element of Fin X
for x being set st x in B holds
x is Element of X