Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - start with the Axiom of Extensionality
Negated equality and membership
Negated equality
wne
Next ⟩
df-ne
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
wne
Description:
Extend wff notation to include inequality.
Ref
Expression
Assertion
wne
$${wff}{A}\ne {B}$$