Three notions of structural inclusion between process terms of the -calculus are considered, and proven to be decidable and to have axiomatizations that are sound and complete in the multiset semantics of the -calculus. All three are strong simulation relations.