theorem :: BOOLEALG:52

for L being B_Lattice
for X, Y being Element of L holds X \ Y misses Y