(言い換えれば、"f" は分離 "k"-代数であれば "k" 上分離的である。