Klein foutje in definitie met de activity set