История изменений
Исправление intelfx, (текущая версия) :
Для пары Arch и Gentoo отношение порядка не задано, но тем не менее выполняется следующее соотношение:
∀distro ∈ { Arch, Gentoo } ∀another ∉ { Arch, Gentoo }: another < distro
Исходная версия intelfx, :
Arch != Gentoo, но выполняется следующее соотношение:
∀distro ∈ { Arch, Gentoo } ∀another ∉ { Arch, Gentoo }: another < distro