well-ordered set

set paired with a well-order relation

Kategorie: