集合Sとその上の二項関係Rに対して、反射律と推移律を満たすRを前順序という

具体例

集合の元同士の\leの関係のこと