a relation pairing a number to it's square root​