ordered set definition