3 ms·EDIT: typing mistake: replace ⊈ with ⊊ (proper subset)by andrecarini 4y agoEDIT: typing mistake: replace ⊈ with ⊊ (proper subset)