Search Results for ""

Let X be a set and S a collection of subsets of X. A set function mu:S->[0,infty] is said to possess finite monotonicity provided that, whenever a set E in S is covered by a ...

A set which transforms via converse functions. Antisets usually arise in the context of Chu spaces.

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 set X is a called a "convex cone" if for any x,y in X and any scalars a>=0 and b>=0, ax+by in X.

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 ...

Let S be a collection of subsets of a set X and let mu:S->[0,infty] be a set function. The function mu is called a premeasure provided that mu is finitely additive, countably ...

If {a_0,a_1,...} is a recursive sequence, then the set of all k such that a_k=0 is the union of a finite (possibly empty) set and a finite number (possibly zero) of full ...

A set is said to be bounded from above if it has an upper bound. Consider the real numbers with their usual order. Then for any set M subset= R, the supremum supM exists (in ...

A set is said to be bounded from below if it has a lower bound. Consider the real numbers with their usual order. Then for any set M subset= R, the infimum infM exists (in R) ...