tümleyen 

(mat. kümenin tümleyeni) (Alm. Komplement, n; Fr. complément, m; İng. complement) 

mat. Evrensel bir E kümesindeki bir A altkümesi için E içinde olup, A içinde olmayan ögelerin oluşturduğu altküme.

E evrensel kümesinin bir A altkümesi için, E içinde olup, A içinde olmayan öğelerin oluşturduğu küme. Simgesi : (?). Anlamdaş. tümler küme.

Bir öbeğin öğesi olmayan bütün öğelerden oluşan öbek: || K öbeğinin tümleyeni K' olarak gösterilir.