Afunctionfissaidtobeonetoone,or

element:asingleitemofaset
direct:
aninjunction,ifandonlyiff(a)=f(b)
setanunorderedcollectionofobjects,|S|ofasetiscardinality
p>q
impliesthata=bforallaandbinthe
(distinctelements)AisasubsetofB(Bisasuperset)ifevery
domainoff.Afunctionissaidtobe
elementinAisanelementofA.IfA{0,1},b{0,1,2,3},AB
indirect:
injectiveifitisonetoone.
powersetP(s)setofallsubsetsofaset,numberis2^N,if contradiction:p>q/p^p
AfunctionffromAtoBiscalledonto,
elementsrepeattheyarestillequal
contrapositive:q>p
orasurjection,ifandonlyifforevery
consistency:asetofcompoundpropositionsisconsistentifthere
elementbBthereisanelementaA
isanassignmenttothesimplerpropositionsthatmakeallofthe
withf(a)=b.Afunctionfiscalled
forp>q...
compoundstatementstrue surjectiveifitisonto.

converse:q>p
contrapositive:q>p
whenpullingin/out,switchalloperators,quantifiers,andconnectives
inverse:p>q

E[X]:averageofXoverSaccordingtodistributionp
+l