The problem with that definition of absolute value is that it requires the square root to be defined. See Definition talk:Absolute Value/Real Number. --barto (talk) (contribs) 15:01, 16 November 2017 (EST)