Representa una relación semántica entre los elementos del modelo que especifica condiciones y proposiciones que se deben ...