>>33
その説明だとsqrtの写像について、
sqrt[-x]は値域集合（別名像）、
(-x)に-3を代入したsqrt[-3]は値域の元（別名定数）ってことでいいですか？