- make-comparatorprocedure
- type-test: predicate that returns #t if argument is correct type, otherwise #f
- equality: predicate returns #t if objects are the same, otherwise #f
- ordering: predicate if first object precedes second object presented to the comparator.
- hash: a procedure taking an object and returning an exact integer.