Category:Equality

From ProofWiki
Jump to navigation Jump to search

This category contains results about Equality.
Definitions specific to this category can be found in Definitions/Equality.

$x = y$ means $x$ is the same object as $y$, and is read $x$ equals $y$, or $x$ is equal to $y$.
$x \ne y$ means $x$ is not the same object as $y$, and is read $x$ does not equal $y$, or $x$ is not equal to $y$.


The expression:

$a = b$

means:

$a$ and $b$ are names for the same object.