Wikipedia:Reference desk/Archives/Mathematics/2017 September 16

= September 16 =

Polynomial-time reduction and Congruence relation within the scope of Heyting algebra (bounded lattice)
Let's say A ⊃ B. Does that mean that ℙ(X) ends within ∈ because S means a is an element of the set S? --VoisesinHead (talk) 20:45, 16 September 2017 (UTC)
 * Could you give some more context to your question please? (Who are ℙ(X) and ∈ and S?) —Kusma (t·c) 20:52, 16 September 2017 (UTC)
 * Absolutely not. --VoisesinHead (talk) 22:42, 16 September 2017 (UTC)