A portion of a component's input or output domains for which the component's behavior is assumed to be the same from the component's specification.