Una condición semántica o restricción que describe una limitación o estado. Por ejemplo, una restricción podría ser una limitación en el rango de datos de valores o en algún comportamiento de la aplicación, o podría ser una descripción de un Estado requiere del sistema en un momento determinado en el tiempo.