sprawdź że ola: X−liniowo uprzadkowane uporządkowane, a∉X, Y=X∪{a} dla x,y∊Y x≤*⇔y=a ∨ (x∊X∧ y∊X∧ x≤y) sprawdź ze <Y,≤*> jest zbiorem liniowo uporzadkowanym

ola: A tu ktoś wytlumaczy

ola potrzebuje pomocy :