Wersja z 05:37, 26 paź 2018 edytuj 31.179.106.106 (dyskusja) →‎Rodzaje: drobne merytoryczne Znacznik: VisualEditor ← poprzednia edycja		Wersja z 23:25, 30 paź 2018 edytuj anuluj edycję Texvc2LaTeXBot (dyskusja \| edycje) 378 edycji m Zastępowanie przestarzałej składni LaTeX zgodnie z mw:Extension:Math/Roadmap następna edycja →
Linia 19: ; Jednoznaczność * ''jednoznaczność lewostronna'' lub ''[[funkcja różnowartościowa\|iniektywność]]'', : <math>\forall_{x, z \in X}\; \forall_{y \in Y}\; x\ \varrho\ y \~~and~~land z\ \varrho\ y \Rightarrow x = z;</math> ''jednoznaczność prawostronna'' lub ''[[funkcja częściowa\|funkcyjność]]'', : <math>\forall_{x \in X}\; \forall_{y, z \in Y}\; x\ \varrho\ y \~~and~~land x\ \varrho\ z \Rightarrow y = z;</math> ''jednoznaczność obustronna'' bądź ''wzajemna'' (''1-1''), : iniektywność i funkcyjność. Linia 44: : <math>x\ \varrho\ y \Rightarrow y\ \varrho\ x,</math> * ''[[relacja antysymetryczna\|antysymetryczność]]'' (''słaba antysymetryczność''), : <math>x\ \varrho\ y \~~and~~land y\ \varrho\ x \Rightarrow x = y,</math> ''[[relacja przeciwsymetryczna\|przeciwsymetryczność]]'' lub ''asymetryczność'' (''ścisła antysymetryczność''), : <math>x\ \varrho\ y \Rightarrow \neg (y\ \varrho\ x),</math> ''[[relacja przechodnia\|przechodniość]]'', : <math>x\ \varrho\ y \~~and~~land y\ \varrho\ z \Rightarrow x\ \varrho\ z,</math> ''[[relacja spójna\|spójność]]'' (dokładniej: ''porównywalność'' lub ''całkowitość''), : <math>x\ \varrho\ y \orlor y\ \varrho\ x,</math> ''[[relacja spójna\|spójność]]'', : <math>x\ \varrho\ y \orlor y\ \varrho\ x \orlor x = y,</math> ''[[relacja trychotomiczna\|trychotomiczność]]'', : <math>x\ \varrho\ y\ \underline \orlor\ y\ \varrho\ x\ \underline\orlor\ x = y,</math> ''[[relacja euklidesowa\|euklidesowość]]'' (prawostronna), *: <math>x\ \varrho\ y \~~and~~land x\ \varrho\ z \Rightarrow y\ \varrho\ z.</math> {\| class="wikitable" align="right" style="font-size: smaller"

Relacja dwuargumentowa: Różnice pomiędzy wersjami