Definición de interruptor de proximidad