Mantık Terimleri Sözlüğü
tameşleme
K ile L kümeleri arasındaki bir tameşleme, önalanı K, artalanı da L olan birebir izerge demektir.