Library / Mathematical Thinking DPF
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 06:05:20 UTC

MATH.2:3 - Forces

ForceTension
Fewer objects and retained operationsMerging objects simplifies reasoning but may erase a distinction used by an operation.
A convenient resemblance and an equivalence relationCloseness or one shared property may suggest a grouping without giving reflexivity, symmetry and transitivity.
Total and partial operationsMatching returned classes is enough for a total operation; a partial operation also has an availability condition.
Valid quotient and useful answerAn operation can descend to classes while the receiver’s requested quantity cannot.