What should I call a poset with the property that each element has a unique predecessor?
(I'm actually interested in the special case in which there are no infinite descending chains.)
Terminology for posets.
Jeff Strom
- 12.5k
- 3
- 48
- 76