Rappresenta una relazione semantica tra relazioni che specifica condizioni e proposizioni che devono rimanere vere.