User:Jshflynn/Theorems

Theorems

 * Empty Word is Unique
 * Length of Concatenation
 * Empty Word is Two-sided Identity
 * Concatenation is Associative
 * Language Product is Associative
 * Linguistic Structure Underlying Set
 * Kleene Plus is Linguistic Structure
 * Kleene Plus is Semigroup
 * Kleene Star is Linguistic Structure
 * Kleene Star is Monoid
 * Length is Epimorphism
 * Length is Isomorphism Iff Alphabet is Singleton
 * Concatenation is Cancellable
 * Intersection of Linguistic Structures
 * Language Product Distributes over Union
 * P-star is Commutative Monoid under Union
 * Product of Languages is Language
 * Null Language is Identity of Language Product
 * P-star is Monoid under Language Product
 * P-star forms Additive Rig with Unity
 * Levi's lemma case 1
 * Condition for Concatenation Commutativity
 * Subsequence Relation is Pre-Ordering
 * Infix Relation is Partial Ordering