 However it is upper semi-continuous, which means that each point has an open neighborhood in which the type does not increase.In practice this means that subsets of greater type than the ambient type occur on submanifolds with positive codimension.The real index "r" of a maximal isotropic subspace "L" is the complex dimension of the intersection of "L" with its complex conjugate.