ブルバキは、特殊記号のことに触れたところまでだった。
次は、記号の列についての定義である。
における記号列とは、の記号を一列に並べて書いたものであり、文字以外の或る種の記号を二つずつ、その列の上を走る鎖とよばれる線で結ぶこともある。＊たとえば、∈を特殊記号としてもつ集合論においては、
┌──────────┐
│ ┌─────┐ │
∨￢∈
Ａ’∈Ａ’’は一つの記号列である。＊
今日はここで止める。上で、＊・・・＊となっている部分は、今は分からないかも知れないが、後にきちんと定義する内容である。
罫線がきちんと書けなかったので、見にくくなって申し訳ない。
とを結んでいる線のつもりである。それでは、今日はここまで。
現在２０１３年９月３日２３時００分である。おしまい。
