Se puede formalizar todo esto, creando dos variables discretas seguidas de la siguiente expresión: