<reponame>Sophize/set_mm
{
  "citations" : [ {
    "textCitation" : "[See eqimss2 on Metamath](http://us.metamath.org/mpegif/eqimss2.html)"
  } ],
  "names" : [ "eqimss2" ],
  "language" : "METAMATH_SET_MM",
  "lookupTerms" : [ "#T_cB", "#T_wceq", "#T_cA", "#T_wi", "#T_cA", "#T_wss", "#T_cB" ],
  "metaLanguage" : "METAMATH",
  "remarks" : " Equality implies the subclass relation.  (Contributed by NM, 23-Nov-2003.) ",
  "statement" : "eqimss2 $p |- ( B = A -> A C_ B ) $."
}