partial order

reflexive antisymmetric transitive binary relation

en-GB/ˈpɑːʃl ˈɔːdə/
en-US/ˈpɑɹʃəl ˈɑɹdɚ/

分类：

preorderantisymmetric relation