Containment

An array, a, is fully contained at a particular point in program execution if it is distributed over a group contained in the active process group:

   a.grp()$$\subseteq$$   apg$$$$

Informally this means that all copies of all elements of the array are available within the set of processes sharing the current thread of control.