Esta topología puede establecerse en cualquier conjunto y es la menor topología (esto es, la topología más gruesa) que puede determinarse en un conjunto dado.