SiA yB son conjuntos, entonces decimos queA es un subconjunto deB, escritoA⊆B, siempre que cada elemento deA sea un elemento deB. Dado que el siguiente teorema e...SiA yB son conjuntos, entonces decimos queA es un subconjunto deB, escritoA⊆B, siempre que cada elemento deA sea un elemento deB. Dado que el siguiente teorema es una proposición bicondicional, es necesario escribir dos subpruebas distintas, una para “A=BimplicaA⊆B yB⊆A “, y otra para “A⊆BeB⊆A implicaA=B”. Asegúrate de dejar claro al lector cuando estés demostrando cada implicación.