#set theory #proper subset #subset symbol #element containment #mathematical notation