[x->y avec i₁,…,i_n dans r₁,…,r_n]

[x->y avec i₁,…,i_n dans r₁,…,r_n étant p]

{x avec i₁,…,i_n dans r₁,…,r_n}

{x avec i₁,…,i_n dans r₁,…,r_n étant p}

{x->y avec i₁,…,i_n dans r₁,…,r_n}

{p=>v avec r₁,…,r_n dans R₁,…,R_n [étant ]}

[x avec i₁,…,i_n dans r₁,…,r_n]

[x avec i₁,…,i_n dans r₁,…,r_n étant p]