n (context|fuzzy logic) A mathematical function T: [0, 1] × [0, 1] → [0, 1] that is commutative, associative, monotonic, and the number 1 acts as identity element, that is T(a, 1) = a.