La relación formula_20 es "antisimétrica" siempre que