Relations can be symmetric. One example of a symmetric relation is the relation "is equal to". If X "is equal to" Y, then Y "is equal to" X. In general, a symmetric relation is a relation such that if (a,b) belongs to R, then (b,a) must belong to R as well.