증명과정에서 이해가 잘 안되는 부분이 있어서 질문드립니다.

An이 왜 유한개인가요? n이 존나 커지면 원소개수가 무한개가 되지 않나요?