


「柯里化」乃承「甲」而承「乙」而承「丙」而化（化（「甲」合「乙」）而「丙」）而（化「甲」而化「乙」而「丙」）也。
「柯里化」者会「函」而会「甲」而会「乙」而「函」于（「甲」与「乙」）也。

「逆柯里化」乃承「甲」而承「乙」而承「丙」而化（化「甲」而化「乙」而「丙」）而（化「甲」合「乙」而「丙」）也。
「逆柯里化」者会「函」而会「甲及乙」而「函」于（「甲及乙」中「零」）于（「甲及乙」中「一」）也。
