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,<=)
Reko mi tvoj brat da studiras za programatora!