+-- {: .rightHandSide} +-- {: .toc .clickDown tabindex="0"} ### Context #### Equality and Equivalence +-- {: .hide} [[!include equality and equivalence - contents]] =-- =-- =-- * [[equality]] * [[identity element]] * [[identity morphism]] * [[identity functor]] * [[identity type]] * [[identity of indiscernibles]] [[!redirects identities]]