To say a component has a constraint means that the constraint has been associated with the component. The constraint holds for the component iff it is a satisfied constraint of the component.