In mathematical logic, the ancestral relation (often shortened to ancestral) of a binary relation R is its transitive closure, however defined in a different way, see below. Ancestral relations make their first appearance in Frege's Begriffsschrift.
In mathematical logic, the ancestral relation (often shortened to ancestral) of a binary relation R is its transitive closure, however defined in a different way, see below. Ancestral relations make their first appearance in Frege's Begriffsschrift.
Source: Wikipedia "Ancestral relation" · CC BY-SA 4.0
Share this article: X · Bluesky