April, 2012 | The Informational Turn

Question

What is a suitable name for the third property here?

Monotonicity: $A \rightarrow B \vdash (A \wedge C) \rightarrow B$
Conjunction: $(A \rightarrow B) \wedge (A \rightarrow C) \vdash A \rightarrow (B \wedge C)$
???: $(A \rightarrow C) \wedge (B \rightarrow D) \vdash (A \wedge B) \rightarrow (C \wedge D)$