- â\88\80f1. L1 ⦻*[RN, RP, f1] L2 →
- â\88\80f2. L1 ⦻*[RN, RP, f2] L2 →
- â\88\80f. f1 â\8b\92 f2 â\89¡ f â\86\92 L1 ⦻*[RN, RP, f] L2.
+ â\88\80f1. L1 ⪤*[RN, RP, f1] L2 →
+ â\88\80f2. L1 ⪤*[RN, RP, f2] L2 →
+ â\88\80f. f1 â\8b\92 f2 â\89¡ f â\86\92 L1 ⪤*[RN, RP, f] L2.