Definición formal