fpf.tools
Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading
Source · lines 108210–108219

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 12:00:09 UTC

F.9:6.1 - Same-family relation kinds

  1. Equivalence - the endpoint senses have the same extension and relevant intension under the stated relation condition. The relation is symmetric and should be rare. A later use still names its direction, rule, and tolerance.
  2. Narrower-than - the source sense is properly included in the receiving sense. The relation is asymmetric.
  3. Broader-than - the source sense properly includes the receiving sense. The relation is asymmetric.
  4. Partial-overlap - the senses have a non-empty intersection, while each has cases excluded by the other. The relation is symmetric.
  5. Disjoint - the senses have no common admissible case under the stated readings. The relation is symmetric.

For inclusion, a narrower-to-broader proposed use is usually easier to justify than the reverse, but neither direction follows from the relation alone. A broader-to-narrower proposal normally needs refined endpoint cells and a separately tested Bridge plus a separately warranted bounded-use claim.