Definition:Finite Index