Subset of Well-Founded Set is Well-Founded