Definition--Vector Concepts--Modulus