Importation

Noun

1. The act or an instance of importing.
2. The act or an instance of carrying or conveying, especially into some system, place, area or country.
3. That which is imported; commodities or wares introduced into a country from abroad.
4. The use of a term which consists of formally foreign elements.
5. The logical law ( P →<!-- → --> ( Q →<!-- → --> R ) ) ⇒<!-- ⇒ --> ( ( P ∧<!-- ∧ --> Q ) →<!-- → --> R ) {\displaystyle (P\to (Q\to R))\Rightarrow ((P\land Q)\to R)} .