Above properties come from the definition in Eq. (2).