Tree property
Redirect to:
Aronszajn tree