ordered sets schroder