(eng): Necessary and sufficient conditions for contractibility of dynamic controllers are proved within the Inclusion Principle for linear time-invariant systems. These conditions are given in terms of both unstructured and block structured complementary matrices for general expansion/contraction transformation matrices. They are further specialized for a partricular class of transformation matrices. The cases of expandability and extensions are included as two important cases of the Inclusion Principle.