В статье рассматривается связь между алгоритмическими свойствами отношений эквивалентности и булевыми алгебрами, реализованными этими отношениями эквивалентности.