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