Definición formal.