for R being Ring
for I being Ideal of R holds
( I is quasi-prime iff R / I is domRing-like )