Присоединяйтесь и знакомьтесь

• Бинарная операция ∧ на съемочной площадке A считается удовлетворительной, если она удовлетворяет трем условиям a, b и c. 
• Пара (A, ∧) тогда является встречающейся полурешеткой. 
• Определяется бинарное отношение ≤ на A, заявляя, что x ≤ y тогда и только тогда, когда x ∧ y = x. 
• Оба подхода дают эквивалентные концепции, набор, оснащенный как бинарным отношением, так и бинарной операцией. 
• Если (A, ≤) является частично упорядоченным множеством, то встреча может быть расширена до четко определенной встречи любого непустого конечного множества. 
• В более общем плане, предположим, что F представляет собой семейство подмножеств некоторого множества X, которое частично упорядочено ⊆.