finite and infinite sets: completed.