Rovnost (matematika): Porovnání verzí
Smazaný obsah Přidaný obsah
m oprava odkazu na rozcestník nebo redirect, Tranzitivní relace → Transitivní relace |
m oprava odkazu na rozcestník nebo redirect, Transitivní relace → Tranzitivní relace |
||
Řádek 18:
# schéma axiomu kongruence vzhledem k funkcím: <math>x_{1}=y_{1}, ..., x_{n}=y_{n} \rightarrow F(x_{1},...,x_{n}) = F(y_{1},...,y_{n})</math>, kde ''n'' je přirozené číslo a ''F'' je ''n''-ární funkční symbol.
Zbylé dvě nejdůležitější vlastnosti rovnosti, které nejsou postulované - [[symetrická relace|symetrii]] a [[
== Rovnost [[množina|množin]] a [[třída (matematika)|tříd]] ==
| |||