«Beheren eta goren»: berrikuspenen arteko aldeak

 

[[Matematika]]n, (P, <) [[multzo partzialki ordenatu]] baten S azpimultzo bat izanik, horren '''beherena''', existitzen bada, P-ren [[elementu maximo eta minimo|elementu maximoa]] da, S-ko elementu guztiak baino txikiago edo berdinak dena. Beste hitzez, S-ko [[behe-borne]]rik handiena da. S multzoaren beherena '''inf(S)''' adierazten da.