An algebra of quotient relations