의미 론 적 조건이 나 제한이 나 상태를 설명 하는 제한 합니다. 예를 들어, 제약 조건 값 또는 응용 프로그램의 일부 동작에 일부 데이터의 범위에 제한 될 수 있습니다 또는 그것은 시간에 특정 시점에서 시스템의 필수 상태에 대 한 설명을 수 있습니다.