Analiza matematyczna student: Wykaż, że relacja dla dowolnego zbioru X relacja ⊂ dla każdego A, B ∊ 2^x A w realcji B ⇔ A⊂B jest relacja częściowego porządku ale nie jest relacją liniowego porządku.

Saizou : Czyli musisz pokazać,że ⊂ jest relacją: • częściowym porządkiem czyli a) zwrotność xRx b) antysymetryczność xRy ∧ yRx ⇒x=y c) przechodniość xRy ∧ yRz ⇒ xRz • i nie jest linowym porządkiem, czyli nie spełnia spójna, czyli nie zachodzi x≠y→xRy ∨ yRx sprawdzaj kolejno warunki