Abdecken der rekursiven Mengen