languages Definition Language Concatenation Let be two languages, then: Properties Associativity Left-Distributivity Right-Distributivity