The greatest element of Sub(A) is the set A itself.
Sub(A) 的最大元是集合 A 自身。