Signed set

In mathematics, a signed set is a set of elements together with an assignment of a sign (positive or negative) to each element of the set.

Representation
Signed sets may be represented mathematically as an ordered pair of disjoint sets, one set for their positive elements and another for their negative elements. Alternatively, they may be represented as a Boolean function, a function whose domain is the underlying unsigned set (possibly specified explicitly as a separate part of the representation) and whose range is a two-element set representing the signs.

Signed sets may also be called $$\Z_2$$-graded sets.

Application
Signed sets are fundamental to the definition of oriented matroids.

They may also be used to define the faces of a hypercube. If the hypercube consists of all points in Euclidean space of a given dimension whose Cartesian coordinates are in the interval $$[-1,+1]$$, then a signed subset of the coordinate axes can be used to specify the points whose coordinates within the subset are $$-1$$ or $$+1$$ (according to the sign in the signed subset) and whose other coordinates may be anywhere in the interval $$[-1,+1]$$. This subset of points forms a face, whose codimension is the cardinality of the signed subset.

Enumeration
The number of signed subsets of a given finite set of $$n$$ elements is $$3^n$$, a power of three, because there are three choices for each element: it may be absent from the subset, present with positive sign, or present with negative sign. For the same reason, the number of signed subsets of cardinality $$r$$ is
 * $$2^r\binom{n}{r},$$

and summing these gives an instance of the binomial theorem,
 * $$\sum_r 2^r\binom{n}{r}=3^n.$$

Intersecting families
An analogue of the Erdős–Ko–Rado theorem on intersecting families of sets holds also for signed sets. The intersection of two signed sets is defined to be the signed set of elements that belong to both and have the same sign in both. According to this theorem, for any a collection of signed subsets of an $$n$$-element set, all having cardinality $$r$$ and all pairs having a non-empty intersection, the number of signed subsets in the collection is at most
 * $$2^{r-1}\binom{n-1}{r-1}.$$

For instance, an intersecting family of this size can be obtained by choosing the sign of a single fixed element, and taking the family to be all signed subsets of cardinality $$r$$ that contain this element with this sign. For $$r\le n/2$$ this theorem follows immediately from the unsigned Erdős–Ko–Rado theorem, as the unsigned versions of the subsets form an intersecting family and each unsigned set can correspond to at most $$2^{r-1}$$ signed sets. However, for larger values of $$r$$ a different proof is needed.