Every ternary operation on a finite set that satisfies these three properties (but that does not necessarily have 0 and 1 elements) gives rise in the same way to a median graph.
Любая тернарная операция на конечном множестве, удовлетворяющая этим трём свойствам (но не обязательно имеющая элементы 0 и 1) порождает медианный граф.