مجموعه مقالات what is a proper subset