X, Y ilingesel uzayları verildiğinde, her bir Z ilingesel uzayı için (...)gönderimi bir kapalı gönderim olan f : (...)gönderimi.
