(like "is an element of on the class of all sets, see ').

Definition

Given a set , a relation over is a set of ordered pairs of elements from , formally: .

The statement reads " is -related to " and is written in infix notation as . The order of the elements is important; if then can be true or false independently of . For example, divides , but does not divide .

Representation of relations

A relation on

1.Previous
3.Next