鎖写像の定義、性質,誘導準同型