Formalmente, un elemento "m" es minimal si: