文字の集合 ω を与え、ω の異なる文字が同じ作用素を与えることも許して、ω から代数系 "a" 上の作用素族(これをここでは仮にtrans("a")と記す)への写像