Para definirlo, usaremos la siguiente notación: