1. w logice: włączenie do poprzednika implikacji jednego z członów następnika;
2. książkowo: sprowadzenie, import