The act or an instance of importing.

The act or an instance of carrying or conveying, especially into some system, place, area or country.

That which is imported; commodities or wares introduced into a country from abroad.

(linguistics) The use of a term which consists of formally foreign elements.

(logic) The logical law ( P → ( Q → R ) ) ⇒ ( ( P ∧ Q ) → R ) {\displaystyle (P\to (Q\to R))\Rightarrow ((P\land Q)\to R)} .