a thing is an aggregate iff its state space equals the union of the state spaces of its components, otherwise it's a system