T-conorm

The t-conorm #92;sqrt#123;x²#43;y²-x²y²#125; is dominated by the t-conorm x#43;y-xy, which is in turn dominated by the t-conorm #123;x#43;y#92;over 1#43;xy#125;.

A t-conorm acts as a disjunction in fuzzy logic or as a union in fuzzy set theory. When one of its arguments is 0, it returns its other argument; when one of its arguments is 1, it returns 1. It is both associative and commutative, and its partial derivatives with respect to its parameters are non-negative.