Relations irreducible to classes