>>479
T(M) := { x∈M | ある a(0でない）に対して　ax = 0} です。