が弱双対性を満たす、すなわちformula_9が成立することを言う。