scheme :: MSUALG_6:sch 3
MSRLambdaU{ F₁() -> set , F₂() -> ManySortedSet of F₁(), F₃( object ) -> set } :

( ex R being ManySortedRelation of F₂() st
for i being object st i in F₁() holds
R . i = F₃(i) & ( for R1, R2 being ManySortedRelation of F₂() st ( for i being object st i in F₁() holds
R1 . i = F₃(i) ) & ( for i being object st i in F₁() holds
R2 . i = F₃(i) ) holds
R1 = R2 ) )

provided

A1: for i being set st i in F₁() holds
F₃(i) is Relation of (F₂() . i),(F₂() . i)