implementation of an ordinal as the set of all ordinals strictly less than it