Radical Functions

Let W be a partially-ordered set. A function ρ defined on R-mod with values in W is said to be a radical function if and only if it satisfies the condition that