Schröder–Bernstein property (source code)

= Schröder–Bernstein property
{wiki=Schröder–Bernstein_property}