Topological freeness for Hilbert bimodules

It is shown that topological freeness of Rieffel's induced representation functor implies that any $C^*$-algebra generated by a faithful covariant representation of a Hilbert bimodule $X$ over a $C^*$-algebra $A$ is canonically isomorphic to the crossed product $A\rtimes_X \mathbb{Z}$. An ideal lattice description and a simplicity criterion for $A\rtimes_X \mathbb{Z}$ are established.