, where

It satisfies the properties: