Search Results for ""

The unitary group U_n(q) is the set of n×n unitary matrices.

Let a set of vertices A in a connected graph G be called convex if for every two vertices x,y in A, the vertex set of every (x,y) graph geodesic lies completely in A. Also ...

The Zermelo-Fraenkel axioms are the basis for Zermelo-Fraenkel set theory. In the following (Jech 1997, p. 1), exists stands for exists, forall means for all, in stands for ...

An existential sentence is a statement claiming the existence of an object with given properties. In the language of set theory it can be formulated as follows, exists x in U ...

The term "natural number" refers either to a member of the set of positive integers 1, 2, 3, ... (OEIS A000027) or to the set of nonnegative integers 0, 1, 2, 3, ... (OEIS ...

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.

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

The smallest statistical rank (either up or down) of a set of data.

The set of rules for manipulating and calculating with tensors.

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