Полурешетка

• Полурешетка — алгебраическая структура, состоящая из множества и операции объединения. 
• Полурешетки играют важную роль в теории решеток и других областях математики. 
• Существует несколько определений полноты для полурешеток, включая полное соединение и полное соответствие полурешетке. 
• Свободные полурешетки существуют в различных ситуациях, включая забывчивые функторы и категории. 
• Полурешетки часто используются в качестве генераторов свободных объектов в других категориях.