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