Search Results for ""

The relationship x precedes y is written x≺y. The relation x precedes or is equal to y is written x<=y.

alpha is called a predecessor if there is no ordinal number beta such that beta+1=alpha.

An operator in logic which returns either true or false.

A prime field is a finite field GF(p) for p is prime.

An n-manifold which cannot be "nontrivially" decomposed into other n-manifolds.

The symbol p^e∥n means, for p a prime, that p^e|n, but p^(e+1)n.

A group that has a primitive group action.

If B superset A (B is a superset of A), then P(A)<=P(B).

A specific prescription for carrying out a task or solving a problem. Also called an algorithm, method, or technique

The product of any number of perspectivities.