A set with a total ordering.
total function ♦ totally ordered ♦ totally ordered set ♦ total ordering ♦ toto
Try this search on
Updated: Sun, 11 Nov 2018 18:26:25 GMT
No longer supported by
Imperial College Department of Computing
Copyright Denis Howe 1985