被約ノルムはで、被約トレースは加法的である.
加法的