Residuum

The residuum of the minimum t-norm is a function #92;rightarrow such that x#92;rightarrowy#61;#92;begin#123;cases#125;y,amp;#92;text#123;if#125;xgt;y#92;#92;1,amp;#92;text#123;if#125;x#92;leqslanty.#92;end#123;cases#125;