Editing Fuzzy set (section)

===Scalar cardinality===
For a fuzzy set <math>A</math> with finite support <math>\operatorname{Supp}(A)</math> (i.e. a "finite fuzzy set"), its '''cardinality''' (aka '''scalar cardinality''' or '''sigma-count''') is given by
:<math>\operatorname{Card}(A) = \operatorname{sc}(A) = |A| = \sum_{x \in U} \mu_A(x)</math>.
In the case that ''U'' itself is a finite set, the '''relative cardinality''' is given by 
:<math>\operatorname{RelCard}(A) = \|A\| = \operatorname{sc}(A)/|U| = |A|/|U|</math>.
This can be generalized for the divisor to be a non-empty fuzzy set: For fuzzy sets <math>A,G</math> with ''G'' ≠ ∅, we can define the '''relative cardinality''' by:
:<math>\operatorname{RelCard}(A,G) = \operatorname{sc}(A|G) = \operatorname{sc}(A\cap{G})/\operatorname{sc}(G)</math>,
which looks very similar to the expression for [[conditional probability]]<!--and because of that, sc(A|G) is used instead of sc(A/G)- this isn't **set** division, isn't it? -->.
Note:
* <math>\operatorname{sc}(G) > 0</math> here.
* The result may depend on the specific intersection (t-norm) chosen.
* For <math>G = U</math> the result is unambiguous and resembles the prior definition.