Kongruencije proizvoljne alg. strukture

Skup kongruencija neke algebarske strukture cini mrezu. Moze li neko da mi kaze u odnosu na koje operacije? I sta sve, ustvari treba da vazi da bi neka struktura bila mreza?

Molim vas, ko zna nek brzo odgovori - treba mi za sutra. Hvala unapred.

Def:
Parcijalno uredjeni skup (A,<=) cini mrezu ako za svaka dva elementa postoji supremum i infimum.

Na mrezama se definisu dvije operacije za a,b iz A a^b=inf {a,b} aVb=sup{a,b} i na taj nacin je definisana algebra (A,^,V) za koju se kaze da je pridruzena mrezi (A,<=)

Potpis

Reko mi tvoj brat da studiras za programatora!

Evo sta sam procitala o tome:

Za kongruencije se definise pq i to je infimum skupa {p,q},
a supremum je pq

Sad imam novo pitanje:
Sta je tacno kompozicija dve relacije?

(Verovatno bih ja to vec trebala da znam, ali eto, ne znam.)

Neka je i neka je , onda je

Potpis

_{Attempt all the problems. Those you can do, don't do. Do the ones you cannot.}

Logicno.
Hvala