correspondence
binary relation which is left-total and right-total (but not necessarily left-unique or right-unique)
antiparticle
concept that pairs of particles exist that have equal mass, but opposite sign for properties such as charge, lepton and baryon number