relacje logika: Mam takie pytanie odnośnie elementu największego w relacji częściowego porządku. Według definicji: element a jest elementem ≤−największym, jeżeli (∀_x∊X) x ≤ a. Wobec tego element największy musi być porównywalny ze wszystkimi elementami danej relacji, tak? Więc na tym diagramie mamy dwa elementy maksymalne, ale ani jednego największego. Dobrze to rozumiem?

ite: Tak, element największy musi być porównywalny ze wszystkimi innymi. Jeśli istnieją dwa (lub więcej) elementy maksymalne, to nie ma elementu największego. Tutaj tak jest.

ite: Tutaj jeszcze widać, że jeśli istnieje element najmniejszy to jest jedynym elementem minimalnym. (Ale nie odwrotnie.)

logika: Okej, rozumiem. Dziękuję