b'\n_START_ARTICLE_\nPoolv\xc3\xb5re\n_START_PARAGRAPH_\nV\xc3\xb5reteoorias nimetatakse \xc3\xbclemiseks poolv\xc3\xb5reks (ka supreemum-poolv\xc3\xb5reks v\xc3\xb5i sup-poolv\xc3\xb5reks) osaliselt j\xc3\xa4rjestatud mittet\xc3\xbchja hulka, milles igal kaheelemendilisel alamhulgal leidub supreemum ehk \xc3\xbclemine raja (t\xc3\xa4histatakse sageli s\xc3\xbcmboliga 1). Duaalselt saab defineerida alumise poolv\xc3\xb5re (infiimum-poolv\xc3\xb5re v\xc3\xb5i inf-poolv\xc3\xb5re) kui hulga, mille igal kaheelemendilisel alamhulgal leidub alumine raja (tihti t\xc3\xa4histatud s\xc3\xbcmboliga 0). _NEWLINE__NEWLINE_Poolv\xc3\xb5resid on v\xc3\xb5imalik defineerida ka algebraliselt: poolv\xc3\xb5re on algebra , millel defineeritud binaarne tehe , mille rollis on parajasti kas supreemumi (\xe2\x88\xa8) v\xc3\xb5i infiimumi (\xe2\x88\xa7) v\xc3\xb5tmine, rahuldab mistahes elementide  korral j\xc3\xa4rgmiseid tingimusi:_NEWLINE_ (assotsiatiivsus),_NEWLINE_ (kommutatiivsus),_NEWLINE_ (idempotentsus)._NEWLINE_Kasutades algebralisi struktuure, saab poolv\xc3\xb5re defineerida kui poolr\xc3\xbchma, mis rahuldab kommutatiivsuse ja idempotentsuse omadusi._NEWLINE_Tasub m\xc3\xa4rkida, et \xc3\xbclaltoodud definitsioonid on samav\xc3\xa4\xc3\xa4rsed, see t\xc3\xa4hendab, et olenevalt olukorrast v\xc3\xb5ib kasutada nii hulgateoreetilist kui algebralist definitsiooni._NEWLINE_Kui hulk  on \xc3\xbche ja sama j\xc3\xa4rjestuse suhtes korraga nii \xc3\xbclemine kui alumine poolv\xc3\xb5re (hulgateoreetiline definitsioon) v\xc3\xb5i kui selles hulgas kehtivad \xc3\xbclaltoodud binaarsed tehted mainitud tingimustega ja neelduvusseadustega  ja  (algebraline definitsioon), siis nimetatakse seda hulka v\xc3\xb5reks.'