どのようなデデキント無限集合"a" も以下の条件を満たす。