- A rational number is a number that can be expressed as the ratio of two integers, where the denominator cannot be equal to zero.
- A language is defined as a set of strings over an alphabet. Languages can be finite or infinite sets. Key concepts include strings, alphabets, concatenation, and Kleene star/closure operations on sets of strings. Formal languages are defined using grammars or rules to specify membership in the language.