Pertaining to the Algebraic use of the logical operators union, intersection, concatenation and Kleene star on a group of sets or tuples.