Two Functions Are Combined Relatively Nat