Description: The class of cosets by R is symmetric, see dfsymrel2 . (Contributed by Peter Mazsa, 27-Dec-2018)