Definition:Module of Finite Type