Definition:Finite Structure