General Ring Theory/Ideals and multiplicatively closed sets

TODO: Distinguish between completely prime ideals and prime ideals in noncommutative rings