proper relations for equivalents