A invariant is a flyweight whose instance is a component type specified through using implied_component = components::some_component_type;.
It is a part of an entity flavour.

Edit me