2014-08-29から1日間の記事一覧
\(S\)の各要素\(x\)に対し、\(S\)の部分集合のひとつ以上からなる集合族\(\mathcal{V}(x)\)が対応づけられており、以下をすべて満たすとする。ただし\(A\triangleright x\)は\(A\in\mathcal{V}(x)\)を意味する。(V1)\(A\triangleright x\rightarrow x\in A\)…
\(S\)の各要素\(x\)に対し、\(S\)の部分集合のひとつ以上からなる集合族\(\mathcal{V}(x)\)が対応づけられており、以下をすべて満たすとする。ただし\(A\triangleright x\)は\(A\in\mathcal{V}(x)\)を意味する。(V1)\(A\triangleright x\rightarrow x\in A\)…