{ y∈R | y≠k } は開集合
f(p)は(たぶん実数値)連続関数なので開集合の逆像
{P|f(p)≠k} = f^(-1)( {y∈R | y≠k} ) は開集合である
その補集合{P|f(p)=k} は閉集合である