relacje logika: rysunekMam 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?
13 lut 16:12
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.
13 lut 17:03
ite: Tutaj jeszcze widać, że jeśli istnieje element najmniejszy to jest jedynym elementem minimalnym. (Ale nie odwrotnie.)
13 lut 17:08
logika: Okej, rozumiem. Dziękuję emotka
13 lut 17:35