<logic, mathematics, tautology> a rule of inference of the form:
p -> q ______________ p -> ( p & q )
Example: "If Mary comes to the party, then so will George. Therefore, if Mary comes to the party, then both Mary and George will." As a simple truth-table shows, any argument of this form is valid.
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google