La inicialización de éstas variables debe estar acorde al Invariante de representación del monitor.