Where used: Operation Model, Partition Model

isInPartition / partitionsInto

Event Type isInPartition Event Type Partition (specialized)

Event Type Partition partitionsInto Event Type (specialized)

Specialized at both ends, Event Type and Event Type Partition, because
event types can only be contained in event type partitions and event
type partitions can only contain event types.