positive variation of a mapping