subconjunto (en lógica o set theory)