Ordered Field § Group: 5 #group-5 Relations § Hyperreal: The hyperreal field is an ordered field, meaning it has a total order relation that is compatible with the field operations.