1. PASQYRIMI INJEKTIV

Pasqyrimi f: X → Y quhet pasqyrim injektiv në qoftë se kur elementet x₁,x₂ të tij janë të ndryshme, atëherë edhe shëmbëllimet e tyre f(x₁), f(x₂) janë të ndryshme.

Në qoftë se përdorim kuantorët, përkufizimin e pasqyrimit injektiv e riformulojmë kështu: 

Pasqyrimi f: X → Y quhet pasqyrim injektiv në qoftë se: 

\forall  (x_{1},x_{2})\epsilon X^{2},x_{1}\neq x_{2}\Rightarrow f(x_{1})\neq f(x_{2}).

Karakteristikë e paraqitjes shigjetore të pasqyrimit injektiv është se te cdo element i bashkësisë së mbërritjes së tij përfundon të shumtën një shigjetë.

2. Pasqyrimi syrjektiv

Pasqyrimi f: X → Y quhet pasqyrim syrjektiv në qoftë se cdo element y ∈ Y është shëmbëllim i të paktën një elementi x ∈ X, domethënë y = f(x).

Në qoftë se përdorim kuantorët pasqyrimi f: X → Y quhet pasqyrim syrjektiv në qoftë se :

\forall y\epsilon Y, \exists x\epsilon X,y = f(x).

 Karakteristikë e paraqitjes shigjetore të syrjeksionit është se te cdo element i bashkësisë së fundit të tij përfundon të paktë një shigjetë.

3. Pasqyrimi bijektiv

Pasqyrimi f: X → Y quhet pasqyrim bijektiv në qoftë se ai është njëherësh injektiv dhe syrjektiv. Pra, pasqyrimi f quhet pasqyrim bijektiv kur për cdo y ∈ Y ekziston vetëm një x ∈ X i tillë që y = f (x).

Duke përdorur kuantorët përkufizimi i pasqyrimit bijektiv mund të riformulohet kështu: 

Pasqyrimi f: X → Y quhet pasqyrim bijektiv në qoftë se janë të vërteta pohimet:

\forall  (x_{1},x_{2})\epsilon X^{2},x_{1}\neq x_{2}\Rightarrow f(x_{1})\neq f(x_{2}),

\forall y\epsilon Y, \exists x\epsilon X,y = f(x).

Karakteristikë e paraqitjes shigjetore të bijeksionit është që te cdo element i fundit të tij Y përfundon vetëm një shigjetë.