Search Results for ""

A relation < is a strict order on a set S if it is 1. Irreflexive: a<a does not hold for any a in S. 2. Asymmetric: if a<b, then b<a does not hold. 3. Transitive: a<b and b<c ...

A tensor category (C, tensor ,I,a,r,l) is strict if the maps a, l, and r are always identities. A related notion is that of a tensor R-category.

Let P=(P,<=) be a partially ordered set, and let x,y,z in P. If x<=y<=z, then y is said to be between x and z. If y is between x and z and y not in {x,z}, then y is strictly ...

A lower triangular matrix having 0s along the diagonal as well as the upper portion, i.e., a matrix A=[a_(ij)] such that a_(ij)=0 for i<=j. Written explicitly, L=[0 0 ... 0; ...

A strictly upper triangular matrix is an upper triangular matrix having 0s along the diagonal as well as the lower portion, i.e., a matrix A=[a_(ij)] such that a_(ij)=0 for ...

Strong convergence is the type of convergence usually associated with convergence of a sequence. More formally, a sequence {x_n} of vectors in a normed space (and, in ...

Let n be an elliptic pseudoprime associated with (E,P), and let n+1=2^sk with k odd and s>=0. Then n is a strong elliptic pseudoprime when either kP=0 (mod n) or 2^rkP=0 (mod ...

phi(A)+phi(B)-phi(A union B)>=phi(A intersection B).

The strongly embedded theorem identifies all simple groups with a strongly 2-embedded subgroup. In particular, it asserts that no simple group has a strongly 2-embedded ...

An infinite sequence {a_i} of positive integers is called strongly independent if any relation sumepsilon_ia_i, with epsilon_i=0, +/-1, or +/-2 and epsilon_i=0 except ...