Divergenz in nichtdeterministischen probabilistischen Modellen wird durch spezielle Äquivalenzrelationen untersucht.