Setler arasındaki yazışma G A Ve İÇİNDE alt küme denir. Eğer öyleyse öyle diyorlar B

karşılık gelir A. Karşılık gelen tüm elemanların kümesi

İsminde yol eleman a. Elemanın karşılık geldiği kümeye denir

prototip eleman B.

Çok sayıda çift (b, a) buna ters denir

karşı G ve belirlenir. İmaj ve prototip kavramları

"G ve karşılıklı olarak terstir.

Örnekler. 1) Bunu bir doğal sayıya uygun hale getirelim P

gerçek sayılar kümesi . 5 sayısının görseli

yarım aralık olacak

(bu, kendisinden küçük veya ona eşit olan en büyük tam sayı anlamına gelir) X). Bu yazışmadaki 5 sayısının ters görüntüsü sonsuz bir kümedir: yarım aralık)