Serial relation

From Wikipedia, the free encyclopedia

In mathematics and logic, a serial relation is a relation R such that:

( $\forall$ x) ( $\exists$ y) (Rxy)

R is serial iff for all x $\in$ X there is a y $\in$ X such that Rxy.

If R is reflexive, it is serial.

[edit] References

Yao, Y.Y.; Wong, S.K.M. (1995). "Generalization of rough sets using relationships between attribute values". Proceedings of the 2nd Annual Joint Conference on Information Sciences: 30–33. (see footnote, page 32 – page 3 in .pdf file.)

$\lnot(p\land\lnot p)$

This logic-related article is a stub. You can help by expanding it.

Categories: Logic stubs | Mathematical relations

Views

Interaction

Search