ordered set definition in mathematics