Se dice que B es una "extensión propia" de A cuando B es una extensión de A y A no es una extensión de B (es decir, hay deducciones en B que no hay en A).