が存在して、すべての "i" に対して "f" o "ji" ＝ "f""i" である。