Well-Founded
A term for systems that are built inductively, starting from a small core and calling constructors on it. Such systems can be enumerated recursively, and generally are all trees in shape.This page is linked from: Duality Non-Well-Founded