Basic concepts in infinite set theory