Define order, prove order properties for R