• Total-order

    Noun

    noun

    1. Attributive of total ordertotal-order element
    © Wiktionary