for L being non empty RelStr
for F, G being Function-yielding Function st dom F = dom G & ( for x being object st x in dom F holds
//\ ((F . x),L) = //\ ((G . x),L) ) holds
/\\ (F,L) = /\\ (G,L)