noun Mathematics. the branch of topology that studies the properties of differentiable manifolds that remain invariant under diffeomorphisms.