Оператор замикання

Оператор замикання - узагальнення інтуїтивної концепції замикання. Саме: якщо \ Langle P, \ leqslant \ rangle - частково впорядкована множина, оператор C: P \ to P буде називатися оператором замикання, якщо виконані три умови:


Приклади

  • підмножини довільної алгебри утворюють частково впорядкована множина. Зіставлення кожному такому підмножині найменшою подалгебри даної алгебри, що містить його, буде оператором замикання.
  • Іншим, більш простим прикладом, є оператор округлення дійсного числа.
  • Замикання відносини
  • Замикання (геометрія)