En ECO OCL es usado para expresar: