Lukas' Notes

Definition

A committee satisfies extended justified representation if for each it satisfies -JR, where denotes the initial-segment notation.

Justified Representation

Extended justified representation implies justified representation.