>>54
D_Aの任意の元dに対してd≦xなのでxはD_Aの上界
一方∪D_A はD_Aの最小の上界であるので∪D_A ≦x