A Residuum
<ol style="margin: 0px; padding: 0px 0px 0px 2.25em; border: 0px; font-variant-numeric: inherit; font-variant-east-asian: inherit; font-stretch: inherit; line-height: inherit; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Lato, Helvetica, Arial, sans-serif; vertical-align: baseline; background-image: none; background-position: initial; background-size: initial; background-repeat: initial; background-attachment: initial; background-origin: initial; background-clip: initial; color: rgb(34, 34, 34);"><li style="margin: 0px 0px 10px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">The <a href="https://en.m.wiktionary.org/wiki/residue" title="residue" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">residue</a>, <a href="https://en.m.wiktionary.org/wiki/remainder" title="remainder" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">remainder</a> or <a href="https://en.m.wiktionary.org/wiki/rest" title="rest" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">rest</a> of something</li><li style="margin: 0px 0px 10px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="ib-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">(</span><span class="ib-content" style="margin: 0px; padding: 0px; border: 0px; font-style: italic; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><a href="https://en.m.wiktionary.org/wiki/chemistry" title="chemistry" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">chemistry</a></span><span class="ib-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">)</span> The solid material remaining after the liquid in which it was dissolved has been evaporated; a <a href="https://en.m.wiktionary.org/wiki/residue" title="residue" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">residue</a>.</li><li style="margin: 0px 0px 10px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="ib-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">(</span><span class="ib-content" style="margin: 0px; padding: 0px; border: 0px; font-style: italic; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">fuzzy logic</span><span class="ib-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">)</span> A binary function from [0,1] × [0,1] to [0,1] which is defined in terms of the <a href="https://en.m.wiktionary.org/wiki/t-norm" title="t-norm" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">t-norm</a> as follows: <span class="mwe-math-element" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; display: none; clip: rect(1px, 1px, 1px, 1px); overflow: hidden; position: absolute; width: 1px; height: 1px; opacity: 0;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle x\rightarrow y=\sup{z|zx\leqslant y}}"><semantics><annotation encoding="application/x-tex">{\displaystyle x\rightarrow y=\sup{z|zx\leqslant y}}</annotation></semantics></math></span><img width="0" height="0" class="mwe-math-fallback-image-inline image-lazy-loaded" alt="{\displaystyle x\rightarrow y=\sup{z|z*x\leqslant y}}" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/f6dc0121842e5d289a4b8141e9d7ee8572b0f328" srcset="" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: middle; background: none; display: inline-block; animation: 0.3s ease-in 0s 1 normal none running fadeInImage; width: 25.625ex; height: 2.843ex;"></span>, where <span class="mwe-math-element" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; display: none; clip: rect(1px, 1px, 1px, 1px); overflow: hidden; position: absolute; width: 1px; height: 1px; opacity: 0;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle *}"><semantics><annotation encoding="application/x-tex">{\displaystyle *}</annotation></semantics></math></span><img width="0" height="0" class="mwe-math-fallback-image-inline image-lazy-loaded" alt="{\displaystyle *}" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/8e9972f426d9e07855984f73ee195a21dbc21755" srcset="" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: middle; background: none; display: inline-block; animation: 0.3s ease-in 0s 1 normal none running fadeInImage; width: 1.162ex; height: 1.509ex;"></span> denotes the t-norm function and <span class="mwe-math-element" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; display: none; clip: rect(1px, 1px, 1px, 1px); overflow: hidden; position: absolute; width: 1px; height: 1px; opacity: 0;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \sup }"><semantics><annotation encoding="application/x-tex">{\displaystyle \sup }</annotation></semantics></math></span><img width="0" height="0" class="mwe-math-fallback-image-inline image-lazy-loaded" alt="{\displaystyle \sup }" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/266a03117c05ef2558c304b1dbb5f319fcd56fd6" srcset="" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: middle; background: none; display: inline-block; animation: 0.3s ease-in 0s 1 normal none running fadeInImage; width: 3.501ex; height: 2.009ex;"></span> denotes the <a href="https://en.m.wiktionary.org/wiki/supremum" title="supremum" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">supremum</a>.<dl style="margin: 0px 0px 0px 1em; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><dd style="margin: 0px 0px 0px 1em; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; overflow: auto;">The <b style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">residuum</b> of the minimum t-norm is a function <span class="mwe-math-element" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; display: none; clip: rect(1px, 1px, 1px, 1px); overflow: hidden; position: absolute; width: 1px; height: 1px; opacity: 0;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \rightarrow }"><semantics><annotation encoding="application/x-tex">{\displaystyle \rightarrow }</annotation></semantics></math></span><img width="0" height="0" class="mwe-math-fallback-image-inline image-lazy-loaded" alt="{\displaystyle \rightarrow }" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/53e574cc3aa5b4bf5f3f5906caf121a378eef08b" srcset="" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: middle; background: none; display: inline-block; animation: 0.3s ease-in 0s 1 normal none running fadeInImage; width: 2.324ex; height: 1.843ex;"></span> such that <span class="mwe-math-element" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; display: none; clip: rect(1px, 1px, 1px, 1px); overflow: hidden; position: absolute; width: 1px; height: 1px; opacity: 0;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle x\rightarrow y={\begin{cases}y,&{\text{if }}x>y\1,&{\text{if }}x\leqslant y.\end{cases}}}"><semantics><annotation encoding="application/x-tex">{\displaystyle x\rightarrow y={\begin{cases}y,&{\text{if }}x>y\1,&{\text{if }}x\leqslant y.\end{cases}}}</annotation></semantics></math></span><img width="0" height="0" class="mwe-math-fallback-image-inline image-lazy-loaded" alt="{\displaystyle x\rightarrow y={\begin{cases}y,&{\text{if }}x>y\1,&{\text{if }}x\leqslant y.\end{cases}}}" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/fb4f1ce26e6499cf2bedc4f0c01ec42ab06143bd" srcset="" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: middle; background: none; display: inline-block; animation: 0.3s ease-in 0s 1 normal none running fadeInImage; width: 23.994ex; height: 6.176ex;"></span></dd></dl></li><li style="margin-top: 0px; margin-right: 0px; margin-bottom: inherit; margin-left: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="ib-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">(</span><span class="ib-content" style="margin: 0px; padding: 0px; border: 0px; font-style: italic; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><a href="https://en.m.wiktionary.org/wiki/law" title="law" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">law</a></span><span class="ib-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">)</span> The <a href="https://en.m.wiktionary.org/wiki/residue" title="residue" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">residue</a> of an <a href="https://en.m.wiktionary.org/wiki/estate" title="estate" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">estate</a></li></ol><h4 class="in-block" style="margin: 0px; padding: 0.5em 0px; border: 0px; font-variant-numeric: inherit; font-variant-east-asian: inherit; font-stretch: inherit; line-height: 1.3; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Lato, Helvetica, Arial, sans-serif; vertical-align: baseline; background-image: none; background-position: initial; background-size: initial; background-repeat: initial; background-attachment: initial; background-origin: initial; background-clip: initial; overflow-wrap: break-word; word-break: break-word; display: table; color: rgb(34, 34, 34);"><span class="mw-headline" id="Synonyms" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: middle; background: none; display: table-cell; width: 298px;">Synonyms</span><span class="mw-editsection" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: middle; background: none; display: table-cell;"><a href="https://en.m.wiktionary.org/w/index.php?title=residuum&action=edit&section=5" title="Edit section: Synonyms" data-section="5" class="mw-ui-icon mw-ui-icon-element mw-ui-icon-minerva-edit-enabled edit-page mw-ui-icon-flush-right" style="margin: 0px -0.625em 0px 0px; padding: 0.625em; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: 999px; font-family: inherit; font-size: initial; vertical-align: middle; background: none transparent; color: transparent; hyphens: none; position: relative; display: inline-block; width: 1.25em; height: 1.25em; overflow: hidden; -webkit-appearance: none; border-radius: 2px; box-sizing: content-box !important;">Edit</a></span></h4><ul style="margin: 0px; padding: 0px 0px 0px 1em; border: 0px; font-variant-numeric: inherit; font-variant-east-asian: inherit; font-stretch: inherit; line-height: inherit; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Lato, Helvetica, Arial, sans-serif; vertical-align: baseline; background-image: none; background-position: initial; background-size: initial; background-repeat: initial; background-attachment: initial; background-origin: initial; background-clip: initial; list-style-position: initial; list-style-image: initial; color: rgb(34, 34, 34);"><li style="margin-top: 0px; margin-right: 0px; margin-bottom: inherit; margin-left: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="ib-brac qualifier-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">(</span><span class="ib-content qualifier-content" style="margin: 0px; padding: 0px; border: 0px; font-style: italic; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">rest of something</span><span class="ib-brac qualifier-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">)</span><span class="ib-colon sense-qualifier-colon" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">:</span> <span class="Latn" lang="en" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><a href="https://en.m.wiktionary.org/wiki/lave#English" title="lave" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">lave</a></span>, <span class="Latn" lang="en" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><a href="https://en.m.wiktionary.org/wiki/remnant#English" title="remnant" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">remnant</a></span>; <a href="https://en.m.wiktionary.org/wiki/Thesaurus:remainder" title="Thesaurus:remainder" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">remainder</a></li></ul>