Search Results for ""

One of the Zermelo-Fraenkel axioms which asserts the existence for any set a of a set x such that, for any y of a, if there exists a z satisfying A(y,z), then such z exists ...

A Julia set with c=-0.123+0.745i, also known as the dragon fractal.

A Cantor set with Lebesgue measure greater than 0.

A complete set of mutually conjugate group elements. Each element in a group belongs to exactly one class, and the identity element (I=1) is always in its own class. The ...

The comparability graph of a partially ordered set P=(X,<=) is the graph with vertex set X for which vertices x and y are adjacent iff either x<=y or y<=x in P.

A nonempty finite set of n×n integer matrices for which there exists some product of the matrices in the set which is equal to the zero matrix.

A set that is a smooth embedded two-dimensional manifold except for a subset that consists of smooth embedded curves, except for a set of isolated points.

A logical system which possesses an explicitly stated set of axioms from which theorems can be derived.

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

A set A of integers is said to be one-one reducible to a set B (A<<_1B) if there is a one-one recursive function f such that for every x, x in A=>f(x) in B (1) and f(x) in ...