Representa uma relação semântica entre relações que especifica condições e proposições que precisam ser mantidas como verdadeiras. ...