Saturation

Kind: node

Record: reasoning:node-ter-saturation

Canonical: Reasoning

Is nothing left to resolve?

Listed in Reasoning records, after Completion and before Diminishing Returns.

Axis

• termination

Math type

• set-theory

Grounded by

• COMPLETION

Linked from

• The axes
• report