1. REDIRECT Ordered set operators

{{R from Unicode}}