准同型相界