Another idea : formulate it as a mathematical property.
What is that structure and what does it guarantee.
And verify it via model checker / theorem prover.
Maybe not for most people at first, but it would surely help structuring the discourse around the topic 