# Logical Data Modeling - Binary Relation

A binary relation is a relationship between two elements that is implemented via a binary function.

Binary relations are used in many branches of mathematics to model concepts like:

NHST try to find this relation.

## Example

Example: Suppose there are:

• four objects ball, car, doll, gun
• four persons John, Mary, Ian, Venus

The owns binary relation between the objects and the persons is:

• John owns the ball,
• Mary owns the doll,
• Venus owns the car,
• Nobody owns the gun,
• Ian owns nothing.

This relation may be represented:

``````R = (
{ball, car, doll, gun},
{John, Mary, Ian, Venus},
{
(ball, John),
(doll, Mary),
(car, Venus)
}
)```
```
ball car doll gun
John +
Mary +
Ian
Venus +

Two different relations could have the same graph. The graphs of the relations above and below are the same.

``````R = (
{ball, car, doll, gun},
{John, Mary, Venus},
{
(ball, John),
(doll, Mary),
(car, Venus)
}
)```
```
ball car doll gun
John +
Mary +
Venus +

## Documentation / Reference

Discover More
(Function | Operator | Map | Mapping | Transformation | Method | Rule | Task | Subroutine)

Section computable function. A function is a callable unit that may be called: a procedure, a subrontine a routine, a method (belong to an objectmacrocomputablalgorithreusable blocargumentdevelopment...
Function - Binary Function/Operation

A binary operation is an scalar operation with two arguments (arity of two) that produces one value. They are creating a binary relation. the addition operator, the multiplication operator ...
Function - Order

Ordering is the process of finding the position of an element of ordinal data type in a sequence. Order and Equivalence are a special kind of binary relation (ie relation between two entities) With the...
Graph - (Edge | Links | Arcs | Lines | Arrows) - Association

An edge model a relationship betweentwo node in a graph. Every edge model therefore a binary relationship (relationship between two elements) . An Edge is also known as: Links Arcs Lines Arrows...

adjacent is a graph operator that tests if there is an edge between two vertices; The two vertices have the following binary relation, if the test is: true: is adjacent to false: is not adjacent...
Linear Algebra - is orthogonal to

is orthogonal to is a binary_relation that defines if two vectors are orthogonal
Logical Data Modeling - Aggregation (Collection)

aggregation is a containment relationship where one or more entities are part of a container entity. In other word, aggregation is combining multiple pieces of data into one unit. The container entity...
Logical Data Modeling - Association

An association is a relationship between two or more entities. It's represented by a link in the data model. An association: answers to the question why two entity need to know one another. specifies...
Logical Data Modeling - Asymmetric Relation (Uni-directional|Antisymmetric)

An asymmetric relation is a type of binary relation that requiers: antisymmetry (ie if a is related to b, b is not related to a) and irreflexivity (ie an element cannot be related to itself) irreflexivity...
Logical Data Modeling - Classification (Taxonomy | Categorization) - Transversal Data Organization

Classification is an naming technique for organization where entity or relationship gets classified by giving them a nominal attribute known as a classifier. relationshipsgroups or categories The output...