«فرهنگ معین»
"(تُ پُ لُ) [ فر. ] (اِ.) ۱- علم بررسی خواصی از فضاها که با کشیدن یا فشردن تغییر نم ی کند. ۲- خانوادهای از زیرمجموعههای یک مجموعه که نسبت به اجتماع دلخواه و اشتراک متناهی بستهاست و خود مجموعه و مجموعه تهی را نیز در بر میگیرد. (فره)."