La definición/función es la siguiente: