{
  "citations" : [ {
    "textCitation" : "[See bdophsi on Metamath](http://us.metamath.org/mpegif/bdophsi.html)"
  } ],
  "names" : [ "bdophsi" ],
  "language" : "METAMATH_SET_MM",
  "lookupTerms" : [ "#T_cS", "#T_wcel", "#T_cbo", "#T_cT", "#T_wcel", "#T_cbo", "#T_cS", "#T_chos", "#T_cT", "#T_wcel", "#T_cbo" ],
  "metaLanguage" : "METAMATH",
  "remarks" : " The sum of two bounded linear operators is a bounded linear operator. (Contributed by NM, 9-Mar-2006.)  (New usage is discouraged.) ",
  "statement" : "nmoptri.1 $e |- S e. BndLinOp $.\nnmoptri.2 $e |- T e. BndLinOp $.\nbdophsi $p |- ( S +op T ) e. BndLinOp $."
}