Search Results for ""

A two-dimensional affine geometry constructed over a finite field. For a field F of size n, the affine plane consists of the set of points which are ordered pairs of elements ...

The transitive reflexive reduction of a partial order. An element z of a partially ordered set (X,<=) covers another element x provided that there exists no third element y ...

If one part of the total intersection group of a curve of order n with a curve of order n_1+n_2 constitutes the total intersection with a curve of order n_1, then the other ...

A set-like object in which order is ignored, but multiplicity is explicitly significant. Therefore, multisets {1,2,3} and {2,1,3} are equivalent, but {1,1,2,3} and {1,2,3} ...

The study of definable sets and functions in polish spaces.

A chart made by plotting the numeric values of a set of quantities as a set of adjacent circular wedges with arc lengths proportional to the total amount. All wedges taken ...

Tarski's theorem says that the first-order theory of reals with +, *, =, and > allows quantifier elimination. Algorithmic quantifier elimination implies decidability assuming ...

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

An algebra <L; ^ , v > is called a lattice if L is a nonempty set, ^ and v are binary operations on L, both ^ and v are idempotent, commutative, and associative, and they ...