Relate ≼ and ⊆ on coPset and gset.

1 job for master in 9 minutes