Definition:Infinite Subdivision