Pātuhitia tēnei: Théorie des groupes ordennés