Talk:Fuzzy set operations

From Wikipedia, the free encyclopedia

should the subidempotency axiom for the intersection be "i(a,a)<= a" rather than "i(a,a) < a" ?

Although in mathematics the prefix 'sub-' is usually understood in a non-strict way (a set is a subset of itself, a group is a subgroup of itself, and so on) in this case the property "i(a,a)<=a" already follows from the other axioms, since "i(a,a)<=i(a,1)=a", so only strict subidempotency is a non-trivial property. It is standard to call the property "i(a,a)<a" either subidempotency (as done in the Klir-Yuan textbook) or Archimedeanity, however it must be noted that it is not equivalent to the ordinary meaning of the Archimedean property (i.e. the iteration of any non-trivial "a" by the operation eventually yields a number as close to 0 as wished) unless further assumptions on "i" are imposed (e.g. continuity). Of course, for "u" the above should read `as close to 1 as wished'.

I think it would be important to note which of the axioms are `true' axioms (those defining a triangular norm and a triangular conorm) and which are in fact additional requierements which may or may not be imposed. Otherwise this mixed usage of the word `axiom' will be confusing to any unaware reader. For instance, the minimum is called the standard intersection but it fails the subidempotency `axiom'.--155.210.235.125 17:50, 5 July 2006 (UTC)