Uma pequena cidade possui
diversas caixas de correio. Os moradores
simplesmente colocam a correspondência a ser
enviada na caixa mais próxima. A cada hora, um
funcionário dos correios percorre cada uma das
caixas à procura de cartas, abre a caixa pegando
o que tiver lá dentro e leva para o correio.
Mesmo que não haja carta alguma, o funcionário
precisa visitar a caixa, abri-la, para então
verificar que não há nada. Ele faz essa
verificação de forma rotineira e sistemática. Ao
analisar o comportamento desse funcionário, pode-se dizer que ele está verificando se tem ou
não cartas através de: