Infinite sets are collections of elements that have no end, meaning they cannot be counted or exhausted by enumeration. They are characterized by their ability to be put into a one-to-one correspondence with a proper subset of themselves, exemplified by the set of natural numbers.