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