Search Results for ""

A puzzle in logic in which one or more facts must be inferred from a set of given facts.

A function f mapping a set X->X/R (X modulo R), where R is an equivalence relation in X, is called a canonical map.

Each point in the convex hull of a set S in R^n is in the convex combination of n+1 or fewer points of S.

A convex set K is centro-symmetric, sometimes also called centrally symmetric, if it has a center p that bisects every chord of K through p.

The set C_(n,m,d) of all m-D varieties of degree d in an n-dimensional projective space P^n into an M-D projective space P^M.

A set of class representatives is a subset of X which contains exactly one element from each equivalence class.

The set closure St^_v of a star Stv at a vertex v of a simplicial complex K.

If S is an infinite set, then the collection F_S={A subset= S:S-A is finite} is a filter called the cofinite (or Fréchet) filter on S.

Suppose <= is a partial ordering on a nonempty set A. Then the elements a,b in A are said to be comparable provided a<=b or b<=a. Because two elements in a partially ordered ...

In general, the word "complement" refers to that subset F^' of some set S which excludes a given subset F. Taking F and its complement F^' together then gives the whole of ...