valuation

function in algebra