{
  "citations" : [ {
    "textCitation" : "[See snsssn on Metamath](http://us.metamath.org/mpegif/snsssn.html)"
  } ],
  "names" : [ "snsssn" ],
  "language" : "METAMATH_SET_MM",
  "lookupTerms" : [ "#T_cA", "#T_wcel", "#T_cvv", "#T_csn--1", "#T_cA", "#T_csn--2", "#T_wss", "#T_csn--1", "#T_cB", "#T_csn--2", "#T_wi", "#T_cA", "#T_wceq", "#T_cB" ],
  "metaLanguage" : "METAMATH",
  "remarks" : " If a singleton is a subset of another, their members are equal. (Contributed by NM, 28-May-2006.) ",
  "statement" : "sneqr.1 $e |- A e. _V $.\nsnsssn $p |- ( { A } C_ { B } -> A = B ) $."
}