Definition talk:Topology/Definition 2

$\tau=\varnothing$ satisfies this definition. Or am I overlooking something? --barto (talk) 10:07, 24 October 2017 (EDT)