Properly initialize idef in topologies