Number systems
Number systems

This free course is available to start right now. Review the full course description and key learning outcomes and create an account and enrol if you want a free statement of participation.

Free course

Number systems

4.2 Equivalence relations

Our formal definition of an equivalence relation involves three key properties. A relation that has these three properties partitions the set on which the relation is defined, as we show later in this subsection.

The reflexive, symmetric and transitive properties are independent, in the sense that relations exist with every combination of these properties. (However, relations which are symmetric and transitive but not reflexive are usually somewhat contrived.)

If a relation is symmetric, then ‘x is related to y’ means the same as ‘y is related to x’, and we can use either phrase, or simply say ‘x and y are related’; we can write either x y or y x.

We now consider the examples in the previous subsection to see whether they satisfy any or all of the three properties.


Take your learning further

Making the decision to study can be a big step, which is why you'll want a trusted University. The Open University has 50 years’ experience delivering flexible learning and 170,000 students are studying with us right now. Take a look at all Open University courses.

If you are new to university level study, find out more about the types of qualifications we offer, including our entry level Access courses and Certificates.

Not ready for University study then browse over 900 free courses on OpenLearn and sign up to our newsletter to hear about new free courses as they are released.

Every year, thousands of students decide to study with The Open University. With over 120 qualifications, we’ve got the right course for you.

Request an Open University prospectus