Definition:Finite Order (Structure)