When is a rule satisfied by a relation?

A rule is satisfied by a relation if for every instance of that rule, if the fact that all premises of that instance is in that relation implies that the conclusion of that instance is in that relation.