場自同写像の定義、性質および演算