mathlib3

refactor(data/set/basic): change def of `⊂` to match `<`

#1862

Merged