Binaarne seos: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu
JAnDbot (arutelu | kaastöö)
Epp (arutelu | kaastöö)
PResümee puudub
3. rida:
Formaalse definitsiooni järgi on binaarne seos [[hulk|hulga]] ''X'' ja hulga ''Y'' vahel [[järjestatud kolmik]] ''R''=(''X'', ''Y'', G(''R'')), kus hulk G(''R''), mida nimetatakse seose ''R'' ''[[graafik]]uks'', on [[otsekorrutis]]e ''X'' × ''Y'' [[alamhulk]]. Kui (''x'',''y'') ∈ G(''R''), siis ütleme, et ''x'' on ''y''-ga seoses ''R'' või ''x'' on ''y''-ga seotud seose ''R'' kaudu, ning kirjutame ''xRy'' või ''R''(''x'',''y'').
 
Enamasti seos samastatakse oma graafikuga: kui ''R'' ⊆ ''X'' × ''Y'', siis me ütleme, et ''R'' on seos ''X'' ja ''Y'' vahel.
 
Näide. Oletame, et on neli mänguasja: {pall, auto, nukk, püss} ja neli last: {Jaan, Mari, Sigrid, Valli}. Oletame, et Jaanile kuulub pall, Marile kuulub nukk ja Vallile kuulub auto. Püss ei kuulu kellelegi ja Sigridile ei kuulu midagi. Siis on binaarsel seosel "kuulub" formaalse definitsiooni järgi niisugune kuju: