for Y, Z being set
for A being non empty set st A c= Y & A c= Z holds
Y meets Z