Bir A sınırlı kümesi üzerinde tanımlanan, üst tümlevi ile alt tümlevi birbirine eşit olan (?)sınırlı işlevi.