These are sortwords that are automatically defined for every sort. They may be used in the same way as normal sortwords.