Ich habe jetzt noch gerätselt und gelitten, aber die Lösung ist tischfertig ^^:
{g: x abgebildet auf sqrt(x), wenn es ein a ^ 2 = x, g x abgebildet auf x, wenn es kein a ^ 2 = x}
{g': x abgebildet auf sqrt(x), wenn es ein a ^ 2 = x, g' x abgebildet auf 0, wenn es kein a ^ 2 = x}
Die geforderte Bedingung ist dadurch erfüllt!
Vielen, vielen Dank für all eure Tipps <3!