set with structure

他の話

abbr …【\(\langle {\sf p} \rangle\)】≈【\(\{ {\sf x} \mid {\sf A} \, {\sf x} \} \)】

条件：\({\sf A}\) への代入は word(s,p)
word(s,p)とClassは等価です。\({\sf A\,x} \Longleftrightarrow {\sf x}\in\langle{\sf A}\rangle\)