Schröder–Bernstein theorems for operator algebras
 
x
OK