Definition:Distributand/Linguistic Note

From ProofWiki
Jump to navigation Jump to search

Linguistic Note on Distributand

The word distributand means that which is to be distributed.

The -and derives from the gerundive form of Latin verbs, expressing future necessity: that which needs to be done.

The term distributand was invented by $\mathsf{Pr} \infty \mathsf{fWiki}$ to ease discussion of the details of the general distributive operation.

As such, it is not generally expected to be seen in this context outside $\mathsf{Pr} \infty \mathsf{fWiki}$.