Uncountable Antichain

自己做分析練習題，不知有沒有更好的解法，若有錯誤請多指教。