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.