メンバーシップの証明と考えることができる。witness」と呼ぶ。注記:この定義は非対称である。含まれることの証明には1つの文字列があればよい。含まれないことの証明には、メンバーシップの証明ではない全文字列の集合が必要となる。証拠の入手可能性は一様である。ついて検証が難しく、他はそうでないという話ではない。証拠はいわゆる古典的な意味での証明である必要はない。その補概念は、非メンバーシップの証明か、補集合のメンバーシップの証明となる。メンバーシップの証拠を持つ集合である。そのような証拠が存在しさえすればよい。