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,<=)

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



_{[Ovu poruku je menjao uranium dana 28.10.2005. u 20:16 GMT+1]}

Logicno.
Hvala

U mom prethodnom postu je bila greška: zamenio sam redosled relacijama, sada je to ispravljeno.