Aequivalenz ergänzt