Teoreetilibe informaatika kordamisküsimused
· iga a puhul aR*a
· aR*b kehtib, kui kehtib aR+b
· R* sisaldab parajasti nii palju elemente, kui eelmised tingimused ette
näevad
*
R on seos, mis on saadud R-le minimaalse arvu paaride lisamisel nii, et
saaksime refleksiivse ja transitiivse seose.
Järjestusseosed:
· osalise järjestuse seos (kõigile saab leida ülem- ja alamelemendid, kuid
kõik pole järjestusse seatud):
o transitiivne
o irrefkeksiivne
(näiteks alamhulgaks olemise seos kõigi osahulkade hulgal)
· refleksiivne osaline järjestus (seos R)
o määrab lineaarse järjestuse kehtib kas aRb, bRa või a = b
Hulgal A on määratud järjestusseos tähistuseks (A, R)
Näiteks (N,<)
3. Kujutused. Hulga võimsus.
Kujutuseks M hulgast A hulka B nimetatakse seost M hulgal A x B nii, et
(((a,b) kuulub M) AND ((a,c) kuulub M)) => b=c.
Tähistus: M: A -> B
Asjaolu, et (a,b) kuulub M, tähistatakse M(a) = b.
annaabi.ee 
