решётка односторонних конгруэнций

О КОНГРУЭНЦИЯХ ЧАСТИЧНЫХ n-АРНЫХ ГРУППОИДОВ

Введено понятие Ri-конгруэнции частичного n-арного группоида как обобщение понятия правой или левой конгруэнции обычного группоида. Доказано, что при фиксированном i Ri- конгруэнции частичного n-арного группоида G образуют решётку, в которой решётка конгруэнций на G не обязатльно является подрешёткой. Построен пример, когда решётка конгруэнций частичного n-арного группоида G не является подрешёткой решётки отношений эквивалентности на G.