مجموعهٔ $ A^{'}$ هم میتواند متناهی باشد هم غیرمتناهی . مثال: بفرض $U=\{1,2,3,\dots\}$ همان اعداد طبیعی باشد. حالا مجموعهٔ زیر را در نظر بگیرید.
$$A = \{2,4,6,8,...\}$$
متمم آن برابر است با:
$$A'=\{1,3,5,7,\dots\}$$
پس هم $A$ و هم متممش نامتناهی هستند. حالا $U$ رو همون مجموعه اعداد طبیعی در نظر بگیرید و
$$A=\{5,6,7,\dots\}$$
آنگاه
$$A'= \{1,2,3,4\}$$
پس متمم $A$ متناهی است.