Properties_of_Ordered_Ring