Przyporządkowanie określmy także dla funkcji (tj. przypisując funkcji między praporządkami odpowiadającą funkcję między porządkami częściowymi). Wtedy jest funktorem z kategorii Pre praporządków w kategorię Pos posetów. Jest to funktor lewy sprzężony do funktora zapominania (włożenia)
Zobacz też antyłańcuch łańcuch pojęcie forsingu
Przypisy
Linki zewnętrzne – ciąg opisujący liczbę praporządków na zbiorze n-elementowym
Kategoria:Własności porządków