Redaktsioon: 8. september 2007, kell 20:13 redigeeri Andres (arutelu \| kaastöö) Bürokraadid, Liidese administraatorid, Administraatorid 415 471 muudatust Resümee puudub ← Vanem muudatus		Redaktsioon: 8. september 2007, kell 20:15 redigeeri eemalda Andres (arutelu \| kaastöö) Bürokraadid, Liidese administraatorid, Administraatorid 415 471 muudatust PResümee puudub Uuem muudatus →
9. rida: ''n''-aarne '''predikaat''' on ''n'' muutuja [[funktsioon]], mille väärtused on [[tõeväärtus]]ed. Et ''n''-aarne seos määrab üheselt ära ''n''-aarse predikaadi, mille väärtus [[argument (matemaatika)\|argument]]ide ''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub> korral on [[tõene]] [[siis ja ainult siis, kui]] (''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>) on seose ''R'' (~~graafik]]u~~graafiku) element. Analoogiliselt määrab predikaat üheselt ära seose. Sellepärast märgitakse seost ja predikaati sageli ühe ja sama sümboliga. Näiteks järgmist kahte [[propositsioon]]i vaadeldakse [[ekvivalentsus (loogika)\|\|ekvivalentsetena]]: :( x<sub>''1''</sub> , x<sub>''2''</sub> , ... ) ∈ ''R''

Seos (matemaatika): erinevus redaktsioonide vahel