1.Previous
3.Next

of the rows and columns of such a matrix can assemble all the ones into a rectangular part of the matrix.

Let h be the vector of all ones. Then if v is an arbitrary logical vector, the relation R = v h^T has constant rows determined by v. In the calculus of relations such an R is called a vector. A particular instance is the universal relation .

For a given relation R, a maximal rectangular relation contained in R is called a concept in R. Relations may be studied by decomposing

1.Previous
3.Next