大なり、小なりは半対称律、推移律を満たすので(半)順序である