finite and infinite sets in discrete mathematics