「方程式の解」「軌跡」は同値変形か真理集合か
高校数学の習慣で「条件とその真理集合を同一視する」というものがあります.例えば「方程式 $${x^2=x}$$ の解」は,条件 $${x^2=x}$$ の真理集合のことなので,本来なら集合 $${\{0, 1\}}$$ や $${\{x | x=0 \lor x=1\}}$$ なんですが, $${x=0,1}$$ のように $${x}$$ の条件で表す習慣になっています.これは,「条件 $${x=0,1}$$ がわかっていれば,その真理集合 $${\{0, 1\}}$$