- â\88\80b,f,I,K1,V1. â¬\87*[b, f] L1 ≘ K1.ⓑ{I}V1 → 𝐔⦃f⦄ →
- â\88\83â\88\83K2,V2. â¬\87*[b, f] L2 ≘ K2.ⓑ{I}V2 & K1 ⪤[R] K2 & R K1 V1 V2.
+ â\88\80b,f,I,K1,V1. â\87©*[b,f] L1 ≘ K1.ⓑ{I}V1 → 𝐔⦃f⦄ →
+ â\88\83â\88\83K2,V2. â\87©*[b,f] L2 ≘ K2.ⓑ{I}V2 & K1 ⪤[R] K2 & R K1 V1 V2.