A vacuum pump capable of accurately detecting a rotor temperature based on a change in permeability of a magnetic material. The drive source generates rotational driving forces. A receptacle is disposed removably on the toilet seat cover and extends through the second opening in the toilet seat cover and the first opening in the toilet seat.