RAD XYZ STD ℝ = { HOME }