The Merging Process, in the Abstract
- Erase all previously-conferred properties.
- Confer all conferrable properties, and merge all reifiers that
have matching subject identity properties.
- Repeat step 2 until it stops making any difference (until
"closure").
Implementations can do this in any way that achieves the same
result.
