 Abstract family of languages

An abstract family of languages is a family closed under specified operations, including union, concatenation, iteration, appropriate homomorphisms, inverse homomorphisms and intersection with regular languages. These axioms organize closure properties of formal languages.