1. <logic> A way in which two or more objects are connected, associated, or related, or (at a different level) a polyadic predicate symbolizing such a relation. See attribute, predicate logic
[Glossary of First-Order Logic]
2. <mathematics> A subset of the product of two sets, R : A x B. If (a, b) is an element of R then we write a R b, meaning a is related to b by R. A relation may be: reflexive (a R a), symmetric (a R b => b R a), transitive (a R b & b R c => a R c), antisymmetric (a R b & b R a => a = b) or total (a R b or b R a).
See equivalence relation, partial ordering, pre-order, total ordering.
3. <database> A table in a relational database.
[FOLDOC]
Try this search on OneLook / Google