Relation Algebra Multi-Relation Union This rule represents the relational algebra union operator. It accepts an arbitrary number of input relations and produces the union of the sets of tuples (removing duplicates). Union([r(x, y, z), s(x, y, z), t(x, y, z)], "u(x, y, z)")