La definición finalmente adoptada fue la siguiente: