Finite type refers to several related concepts in mathematics: