La podemos definir formalmente como: