{x con i₁,…,i_n en r₁,…,r_n}

{x con i₁,…,i_n en r₁,…,r_n donde p}

{p=>v con r₁,…,r_n en R₁,…,R_n [donde ]}

[x con i₁,…,i_n en r₁,…,r_n]

[x con i₁,…,i_n en r₁,…,r_n donde p]