In classical mechanics a system may be defined as **holonomic** if all constraints of the system are holonomic. For a constraint to be holonomic it must be expressible as a function:

i.e. a **holonomic constraint** depends only on the coordinates and time . It does not depend on the velocities or any higher order derivative with respect to *t*. A constraint that cannot be expressed in the form shown above is a nonholonomic constraint.

The holonomic constraint equations can help us easily remove some of the dependent variables in our system. For example, if we want to remove which is a parameter in the constraint equation , we can rearrange the equation into the following form, assuming it can be done,

and replace the in every equation of the system using the above function. This can always be done for general physical system, provided that is , then by implicit function theorem, the solution is guaranteed in some open set. Thus, it is possible to remove all occurrences of the dependent variable .

Suppose that a physical system has degrees of freedom. Now, holonomic constraints are imposed on the system. Then, the number of degrees of freedom is reduced to . We can use independent generalized coordinates () to completely describe the motion of the system. The transformation equation can be expressed as follows:

Consider the following differential form of a constraint equation:

where *c*_{ij}, *c*_{i} are the coefficients of the differentials *dq*_{j} and *dt* for the *i*th constraint.

If the differential form is integrable, i.e., if there is a function satisfying the equality

then this constraint is a holonomic constraint; otherwise, nonholonomic. Therefore, all holonomic and some nonholonomic constraints can be expressed using the differential form. Not all nonholonomic constraints can be expressed this way. Examples of nonholonomic constraints which can not be expressed this way are those that are dependent on generalized velocities. With a constraint equation in differential form, whether the constraint is holonomic or nonholonomic depends on the integrability of the differential form.

In order to study classical physics rigorously and methodically, we need to classify systems. Based on previous discussion, we can classify physical systems into holonomic systems and non-holonomic systems. One of the conditions for the applicability of many theorems and equations is that the system must be a holonomic system. For example, if a physical system is a holonomic system and a monogenic system, then Hamilton's principle is the necessary and sufficient condition for the correctness of Lagrange's equation.^{[1]}

As shown at right, a simple pendulum is a system composed of a weight and a string. The string is attached at the top end to a pivot and at the bottom end to a weight. Being inextensible, the string’s length is a constant. Therefore, this system is holonomic; it obeys the holonomic constraint

where is the position of the weight and is length of the string.

The particles of a rigid body obey the holonomic constraint

where , are respectively the positions of particles and , and is the distance between them.

**^**Goldstein, Herbert (1980).*Classical Mechanics*(3rd ed.). United States of America: Addison Wesley. p. 45. ISBN 0-201-65702-3.