Prop < Set
Set < i
    < j
i < j