theorem :: FUNCT_6:26

for Y being set holds
( Union ({} --> Y) = {} & meet ({} --> Y) = {} )