<reponame>Sophize/set_mm
{
  "citations" : [ {
    "textCitation" : "[See mrerintcl on Metamath](http://us.metamath.org/mpegif/mrerintcl.html)"
  } ],
  "names" : [ "mrerintcl" ],
  "language" : "METAMATH_SET_MM",
  "lookupTerms" : [ "#T_cC", "#T_wcel", "#T_cmre", "#T_cfv", "#T_cX", "#T_wa", "#T_cS", "#T_wss", "#T_cC", "#T_wi", "#T_cX", "#T_cin", "#T_cint", "#T_cS", "#T_wcel", "#T_cC" ],
  "metaLanguage" : "METAMATH",
  "remarks" : " The relative intersection of a set of closed sets is closed. (Contributed by <NAME>, 3-Apr-2015.) ",
  "statement" : "mrerintcl $p |- ( ( C e. ( Moore ` X ) /\\ S C_ C ) -> ( X i^i |^| S ) e. C ) $."
}