ordnad , som dennamängd