Примечание к статье "Антирефлексивне вiдношення"
d ⊢ R i s a n i r r e f l e x i v e r e l a t i o n o n A . ↔ R ⊆ A × A ∧ R ≠ ∅ ∧ ∀ x ∈ A ( ⟨ x , x ⟩ ∉ R ) {\displaystyle ~d\vdash \ R\ \mathrm {is\ an\ irreflexive\ relation\ on} \ A.\ \leftrightarrow \ R\subseteq A\times A\quad \land \quad R\neq \varnothing \quad \land \quad \forall _{x\ \in A}\ (\langle x,x\rangle \notin R)}
Галактион 19:26, 12 серпня 2009 (UTC)Відповісти