φ ∈ "x"′ を、"x" の代数的双対とする。