Vocabulary

全順序

total order (relation)

noun