Abstrakt
Abstraktní verze množinově teoretické operace symetrické diference je zkoumána ve třídě ortokomplementárních svazů (ODL). Článek představuje příklady ortokomplementárních svazů a zkoumá jejich základní vlastnosti, dále analyzuje ideály a valuace v ortokomplementárních svazech a ukazuje, že množinově reprezentovatelné ODL tvoří varietu. Dále je v článku zkoumána otázka, jak konstruovat ODL z boolovských algeber, a jako vedlejší produkt jsou ukázány příklady ODL, které nejsou množinově reprezentovatelné, ale 'žijí' na množinově reprezentovatelných ortomodulárních svazech.