Kordula.doc

(97 KB) Pobierz

x = y ↔ ÚF (Fx ↔ Fy) identyczność

U = { x : x = x } zb. pełny

Ǿ = {x Є U : x ≠ x} zb.pusty

X ∩ Y = { x : x Є X /\ x Є Y} iloczyn

X Ự Y = { x : x Є X \/ x Є Y} suma

X – Y = { x : x Є X /\ ~x Є Y} różnica

- X = U – x dopełnienie

Úx (x Є X → X Є Y) inkluzja (↓S Ì ↓P) ↔ S a P

X = Y ↔ ( X ≤ Y /\ Y Ì X) zamienność

X Ì Y ↔ ( X Ì Y /\ X ≠ Y) podrzędność

X ≥ Y ↔ Y ≤ X nadrzędność

X Ж Y ↔ (X ∩ Y ≠ Ǿ /\ ~X ≤ Y /\ ~Y ≤ X) krzyżowania się

X )(. Y ↔ X ∩ Y ≠ Ǿ rozłączności

X > < Y ↔ (X >< Y /\ X Ự Y ≠ U ) przeciwieństwa

X ][ Y ↔ X = -Y ↔ Y = -X sprzeczności zakresowej

x ≠ y → <x,y> ≠ <y,x> para uporządkowana

X x Y = { <x,y> : x Є X /\ y Є Y} ilocz.kart.

Dl (R) = { x : ΞI y x Ry}

Dp (R) = { y : ΞI x x Ry}

R-1 y ↔ yRx

RЄ zwr (Z) ↔ Úx (xЄ Z → xRx)

RЄ azwr (Z) ↔ Úx (x...