セミコロン
関数の引数リスト f ( x 1 , x 2 , ... ; a 1 , a 2 , ... ) {\displaystyle f(x_{1},x_{2},\dots ;a_{1},a_{2},\dots )} において、変数やパラメータを区切るために使われる。
構造を表す際に、領域(宇宙、台集合)と関数のリストと関係のリストとを区切るのに使われる。 たとえば、 A = ( A ; f 1 A , f 2 A , ... ; R 1 A , R 2 A , ... ) {\displaystyle {\mathfrak {A}}=(A;f_{1}^{\mathfrak {A}},f_{2}^{\mathfrak {A}},\ldots ;R_{1}^{\mathfrak {A}},R_{2}^{\mathfrak {A}},\ldots )} 。
英語では、基本的に「強いコンマ ( , )」ないし「弱いピリオド ( . )」である。
たとえばコンマで区切られた6つの項目の内、前半3つと後半3つに分類したいときには3つ目の項目の後にコンマの代わりにセミコロンを置く。
独立した2つの文が何らかの関係があるためつなげて書くとき、間に(最初の文の終止符のかわりに)セミコロンを置く。