La relación formula_20 es "conexa" siempre que