algebra of partial order