theorem Th12: :: YELLOW13:12

for N being non empty complete Poset
for x being Element of N holds x "/\" is meet-preserving