非負実数値函数が擬絶対値であるとは、以下の三条件をすべて満たすときにいう:を任意として