Title: An inductive algebra
Subjects: Algebra