Constraint surface ($C_a=0$)

The common zero locus of constraint functions $C_a$ in phase space is the constraint surface. A physical trajectory lies on this surface, but off-surface identities are often needed when analyzing a constraint algebra.