Definition talk:Topology Generated by Synthetic Sub-Basis

I understand your use of $$:=$$ meaning (I think) "is defined as", but what is $$=:$$? --Matt Westwood 07:34, 26 January 2010 (UTC)