Search Results for ""

Given a subset B of a set A, the injection f:B->A defined by f(b)=b for all b in B is called the inclusion map.

A disjunction that remains true if either or both of its arguments are true. This is equivalent to the OR connective. By contrast, the exclusive disjunction is true if only ...

Two lengths are called incommensurate or incommensurable if their ratio cannot be expressed as a ratio of whole numbers. Irrational numbers and transcendental numbers are ...

Two rectangles, neither of which will fit inside the other, are said to be incomparable. This is equivalent to one rectangle being both longer and narrower. At least seven ...

A generalization of the complete beta function defined by B(z;a,b)=int_0^zu^(a-1)(1-u)^(b-1)du, (1) sometimes also denoted B_z(a,b). The so-called Chebyshev integral is given ...

The "complete" gamma function Gamma(a) can be generalized to the incomplete gamma function Gamma(a,x) such that Gamma(a)=Gamma(a,0). This "upper" incomplete gamma function is ...

A formal theory is said to be incomplete if it contains fewer theorems than would be possible while still retaining consistency.

A conic section that is tangent to all sides of a triangle is called an inconic. Any trilinear equation of the form ...

A function f(x) increases on an interval I if f(b)>=f(a) for all b>a, where a,b in I. If f(b)>f(a) for all b>a, the function is said to be strictly increasing. Conversely, a ...

For a sequence {a_n}, if a_(n+1)-a_n>0 for n>=x, then a_n is increasing for n>=x. Conversely, if a_(n+1)-a_n<0 for n>=x, then a_n is decreasing for n>=x. If a_n>0 and ...