Una versión un poco más restrictiva pero más manejable que la definición anterior es la siguiente: