1. The inference
where is a conditional connective, or the corresponding axiom scheme
Prefixing is frequently encountered in relevant logic, as is its dual, suffixing.
2. Describes any deductive system in which the rule form of prefixing is an admissible inference.