First meet monoid