implies.md

若$A$成立，则有$B$成立，就说$A$蕴含$B$，记为$A\implies B$

例如

数集$E$有界$\implies$$E$有上界