Podział zbioru dóbr niepodzielnych w sytuacji, gdy rozdzielane dobra różnią się wartością, stwarza wyzwanie zapewnienia równości pomiędzy uczestnikami podziału. Jednym z najpopularniejszych sposobów na rozwiązanie tego problemu jest użycie loterii. W niniejszym artykule zaprezentowanych jest siedem wybranych procedur probabilistycznych: losowanie z rozkładu równomiernego, leksykograficzna procedura równych szans satysfakcji, procedura równych szans wyboru, core from random endowments, probabilistic serial, top trading cycles from equal division oraz procedura równych szans wyboru z nieskończenie dużym czynnikiem k. Niektóre z tych procedur zawsze prowadzą do tych samych rezultatów, co pewna inna procedura, są zatem wzajemnie równoważne. Ponadto artykuł przedstawia własności formalne tych procedur: porządkową optymalność, optymalność ex post oraz mocne i słabe wersje wolności od zazdrości, proporcjonalności, słuszności i odporności na indywidualne zachowania strategiczne.