くりこみ群
とは、くりこみ変換により構成される半群である。名前では「群」とついているが、実際は「群」ではなく「半群」である点は注意すべきことである。