Vocabulary

反射的半順序

reflexive partial ordering

noun