有序代数

ordered algebra