data/49.json
{
"definitions" : {
"\\mu" : [ "function", { } ],
"A" : [ "sets of real numbers", { } ]
},
"constraints" : [ ],
"math_inputtex" : " \\mu (A)= \\begin{cases} 1 & \\mbox{ if } 0 \\in A \\\\ \n 0 & \\mbox{ if } 0 \\notin A.\n\\end{cases}",
"math_inputtex_semantic" : "\\wf{Q11348}{\\mu} (\\w{Q26851380}{A}) = {\\begin{cases} 1 & \\mbox{ if } {0 \\in A} \\\\ 0 & \\mbox{ if } {0 \\notin A} \\end{cases}",
"correct_tex" : "\\mu (A) = \\begin{cases} 1 & \\mbox{ if } 0 \\in A \\\\ 0 & \\mbox{ if } 0 \\notin A \\end{cases}",
"correct_mml" : "<math xmlns=\"http://www.w3.org/1998/Math/MathML\" id=\"p1.1.m1.1\" class=\"ltx_Math\" alttext=\"\\mu(A)={\\begin{cases}1&\\mbox{ if }{0\\in A}\\\\ 0&\\mbox{ if }{0\\notin A}\\end{cases}\\)\\@add@PDF@RDFa@triples\\end{document}}\" display=\"inline\">\n <semantics id=\"p1.1.m1.1a\">\n <mrow id=\"p1.1.m1.1.9\" xref=\"p1.1.m1.1.9.cmml\">\n <mrow id=\"p1.1.m1.1.9.1.2\" xref=\"p1.1.m1.1.9.1.1.cmml\">\n <mi id=\"p1.1.m1.1.1\" xref=\"p1.1.m1.1.1.cmml\">μ</mi>\n <mo id=\"p1.1.m1.1.9.1.2a\" xref=\"p1.1.m1.1.9.1.1.cmml\"></mo>\n <mrow id=\"p1.1.m1.1.9.1.2.1\" xref=\"p1.1.m1.1.9.1.1.cmml\">\n <mo stretchy=\"false\" id=\"p1.1.m1.1.2\" xref=\"p1.1.m1.1.9.1.1.cmml\">(</mo>\n <mi id=\"p1.1.m1.1.3\" xref=\"p1.1.m1.1.3.cmml\">A</mi>\n <mo stretchy=\"false\" id=\"p1.1.m1.1.4\" xref=\"p1.1.m1.1.9.1.1.cmml\">)</mo>\n </mrow>\n </mrow>\n <mo id=\"p1.1.m1.1.5\" xref=\"p1.1.m1.1.5.cmml\">=</mo>\n <mrow id=\"p1.1.m1.1.8\" xref=\"p1.1.m1.1.8.1.cmml\">\n <mo id=\"p1.1.m1.1.6\" xref=\"p1.1.m1.1.8.1.1.cmml\">{</mo>\n <mtable columnspacing=\"5pt\" rowspacing=\"0pt\" id=\"p1.1.m1.1.7\" xref=\"p1.1.m1.1.8.1.cmml\">\n <mtr id=\"p1.1.m1.1.7a\" xref=\"p1.1.m1.1.8.1.cmml\">\n <mtd columnalign=\"left\" id=\"p1.1.m1.1.7b\" xref=\"p1.1.m1.1.8.1.cmml\">\n <mn id=\"p1.1.m1.1.7.1.1.1\" xref=\"p1.1.m1.1.7.1.1.1.cmml\">1</mn>\n </mtd>\n <mtd columnalign=\"left\" id=\"p1.1.m1.1.7c\" xref=\"p1.1.m1.1.8.1.cmml\">\n <mrow id=\"p1.1.m1.1.7.1.2.1\" xref=\"p1.1.m1.1.7.1.2.1.cmml\">\n <mrow id=\"p1.1.m1.1.7.1.2.1.5\" xref=\"p1.1.m1.1.7.1.2.1.5.cmml\">\n <mtext id=\"p1.1.m1.1.7.1.2.1.1\" xref=\"p1.1.m1.1.7.1.2.1.1.cmml\"> if </mtext>\n <mo id=\"p1.1.m1.1.7.1.2.1.5.1\" xref=\"p1.1.m1.1.7.1.2.1.5.1.cmml\"></mo>\n <mn id=\"p1.1.m1.1.7.1.2.1.2\" xref=\"p1.1.m1.1.7.1.2.1.2.cmml\">0</mn>\n </mrow>\n <mo id=\"p1.1.m1.1.7.1.2.1.3\" xref=\"p1.1.m1.1.7.1.2.1.3.cmml\">∈</mo>\n <mi id=\"p1.1.m1.1.7.1.2.1.4\" xref=\"p1.1.m1.1.7.1.2.1.4.cmml\">A</mi>\n </mrow>\n </mtd>\n </mtr>\n <mtr id=\"p1.1.m1.1.7d\" xref=\"p1.1.m1.1.8.1.cmml\">\n <mtd columnalign=\"left\" id=\"p1.1.m1.1.7e\" xref=\"p1.1.m1.1.8.1.cmml\">\n <mn id=\"p1.1.m1.1.7.2.1.1\" xref=\"p1.1.m1.1.7.2.1.1.cmml\">0</mn>\n </mtd>\n <mtd columnalign=\"left\" id=\"p1.1.m1.1.7f\" xref=\"p1.1.m1.1.8.1.cmml\">\n <mrow id=\"p1.1.m1.1.7.2.2.1\" xref=\"p1.1.m1.1.7.2.2.1.cmml\">\n <mrow id=\"p1.1.m1.1.7.2.2.1.5\" xref=\"p1.1.m1.1.7.2.2.1.5.cmml\">\n <mtext id=\"p1.1.m1.1.7.2.2.1.1\" xref=\"p1.1.m1.1.7.2.2.1.1.cmml\"> if </mtext>\n <mo id=\"p1.1.m1.1.7.2.2.1.5.1\" xref=\"p1.1.m1.1.7.2.2.1.5.1.cmml\"></mo>\n <mn id=\"p1.1.m1.1.7.2.2.1.2\" xref=\"p1.1.m1.1.7.2.2.1.2.cmml\">0</mn>\n </mrow>\n <mo id=\"p1.1.m1.1.7.2.2.1.3\" xref=\"p1.1.m1.1.7.2.2.1.3.cmml\">∉</mo>\n <mi id=\"p1.1.m1.1.7.2.2.1.4\" xref=\"p1.1.m1.1.7.2.2.1.4.cmml\">A</mi>\n </mrow>\n </mtd>\n </mtr>\n </mtable>\n </mrow>\n </mrow>\n <annotation-xml encoding=\"MathML-Content\" id=\"p1.1.m1.1b\">\n <apply id=\"p1.1.m1.1.9.cmml\" xref=\"p1.1.m1.1.9\">\n <eq id=\"p1.1.m1.1.5.cmml\" xref=\"p1.1.m1.1.5\"/>\n <apply id=\"p1.1.m1.1.9.1.1.cmml\" xref=\"p1.1.m1.1.9.1.2\">\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.1.cmml\" xref=\"p1.1.m1.1.1\">Q11348</csymbol>\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.3.cmml\" xref=\"p1.1.m1.1.3\">Q26851380</csymbol>\n </apply>\n <apply id=\"p1.1.m1.1.8.1.cmml\" xref=\"p1.1.m1.1.8\">\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.8.1.1.cmml\" xref=\"p1.1.m1.1.6\">cases</csymbol>\n <cn type=\"integer\" id=\"p1.1.m1.1.7.1.1.1.cmml\" xref=\"p1.1.m1.1.7.1.1.1\">1</cn>\n <apply id=\"p1.1.m1.1.7.1.2.1.cmml\" xref=\"p1.1.m1.1.7.1.2.1\">\n <in id=\"p1.1.m1.1.7.1.2.1.3.cmml\" xref=\"p1.1.m1.1.7.1.2.1.3\"/>\n <apply id=\"p1.1.m1.1.7.1.2.1.5.cmml\" xref=\"p1.1.m1.1.7.1.2.1.5\">\n <times id=\"p1.1.m1.1.7.1.2.1.5.1.cmml\" xref=\"p1.1.m1.1.7.1.2.1.5.1\"/>\n <mtext id=\"p1.1.m1.1.7.1.2.1.1.cmml\" xref=\"p1.1.m1.1.7.1.2.1.1\"> if </mtext>\n <cn type=\"integer\" id=\"p1.1.m1.1.7.1.2.1.2.cmml\" xref=\"p1.1.m1.1.7.1.2.1.2\">0</cn>\n </apply>\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.7.1.2.1.4.cmml\" xref=\"p1.1.m1.1.7.1.2.1.4\">Q26851380</csymbol>\n </apply>\n <cn type=\"integer\" id=\"p1.1.m1.1.7.2.1.1.cmml\" xref=\"p1.1.m1.1.7.2.1.1\">0</cn>\n <apply id=\"p1.1.m1.1.7.2.2.1.cmml\" xref=\"p1.1.m1.1.7.2.2.1\">\n <notin id=\"p1.1.m1.1.7.2.2.1.3.cmml\" xref=\"p1.1.m1.1.7.2.2.1.3\"/>\n <apply id=\"p1.1.m1.1.7.2.2.1.5.cmml\" xref=\"p1.1.m1.1.7.2.2.1.5\">\n <times id=\"p1.1.m1.1.7.2.2.1.5.1.cmml\" xref=\"p1.1.m1.1.7.2.2.1.5.1\"/>\n <mtext id=\"p1.1.m1.1.7.2.2.1.1.cmml\" xref=\"p1.1.m1.1.7.2.2.1.1\"> if </mtext>\n <cn type=\"integer\" id=\"p1.1.m1.1.7.2.2.1.2.cmml\" xref=\"p1.1.m1.1.7.2.2.1.2\">0</cn>\n </apply>\n <csymbol cd=\"latexml\" id=\"p1.1.m1.1.7.2.2.1.4.cmml\" xref=\"p1.1.m1.1.7.2.2.1.4\">Q26851380</csymbol>\n </apply>\n </apply>\n </apply>\n </annotation-xml>\n <annotation encoding=\"application/x-tex\" id=\"p1.1.m1.1c\">\\mu(A)={\\begin{cases}1&\\mbox{ if }{0\\in A}\\\\\n0&\\mbox{ if }{0\\notin A}\\end{cases}\\)\\@add@PDF@RDFa@triples\\end{document}}</annotation>\n </semantics>\n</math>",
"uri" : "https://en.formulasearchengine.com/w/index.php?oldid=7473#math7473.12",
"title" : "Sigma_additivity",
"type" : "definition"
}