id	keyword
cana-2861	neutrosophic
cana-2861	set
cana-2861	theorem