Invariance of the implication relation under mappings of implication systems