Solovay proved the theorem: There is an oracle A such that P relative to A do not equal to NP relative A. If B and C are two complexity classes and B=C, does B still equal to C relative to any oracle?