  We find necessary and sufficient conditions for the product of two truncated
Toeplitz operators on a model space to itself be a truncated Toeplitz operator,
and as a result find a characterization for the maximal algebras of bounded
truncated Toeplitz operators.
