Therefore, (f) is well-defined.
したがって (f) はwell-definedである。