A set with a total ordering.
total function ♦ totally ordered ♦ totally ordered set ♦ total ordering ♦ toto
Try this search on
Updated: Tue, 18 Sep 2018 07:41:57 GMT
Imperial College Department of Computing
Copyright Denis Howe 1985