Logika "Porządki"
Nick: Zakładamy, że X jest częściowo uporządkowany relacją ≼, ∅ ≠ A ⊆ X. Wykazać, że
(a) Element najmniejszy w zbiorze A jest elementem minimalnym tego zbioru.
(b) W zbiorze A istnieje co najwyżej jeden element najmniejszy.
(c) Jeżeli ≼ jest porządkiem liniowym, to element minimalny zbioru A jest elementem
najmniejszym.
Proszę o pomoc
11 gru 17:25