La definición formal es la siguiente: