#definición formal