집합 X가 무한 집합(infinite set)

<= def =>

X의 진부분 집합 Y가 존재하여

 X와 Y사이에 일대일 대응이 존재한다.

-----------------------------------------------

또한 이런 Y가 존재 하지 않을 때
X를 유한집합(finite set)이라 한다.

-----------------------------------------------


note

1. X의 진부분 집합 <= def => X와 같지않은 부분집합

+ Recent posts