To receive notifications about scheduled maintenance, please subscribe to the mailing-list gitlab-operations@sympa.ethz.ch. You can subscribe to the mailing-list at https://sympa.ethz.ch
Seems tautological to talk about a proper subset that is not equal to the set. Call it a subset, and then state that it is not equal.