Better names for ordered sets