apartness relation

form of inequality in constructive mathematics

en-GB/əpɑːtnɛs ɹɪˈleɪʃn/

ক্যাটাগরি:

irreflexive relationinequalitysymmetric relation