תורת הקבוצות-

אם אני מוכיחה שקבוצה מסוימת שקולה לקבוצה אינסופית, זה אומר שהקבוצה היא אינסופית או שאני צריכה להוכיח קבוצה חלקית ממש?