連接（形式言語）
形式言語理論における
公理
みたいなもの
同値類の
反射律
、
対称律
、とか、
群
や
体
の符号に対する「
結合則
」などに当たる
同様に、
繰り返し（形式言語）
、
選択（形式言語）
、
⽂字、空⽂字列(形式言語）
のような法則がある