The greatest element of Sub(A) is the set A itself.
Sub(A) の最大元は集合 A 自身である。