apartness relation

Мат. отношение определенности