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.)