F. Bimodules over von Neumann Algebras 491
References. The study of bimodules was emphasized by A. Connes [44]
and developed by S. Popa [156]. Lemma F.9 is taken from [94]. Propo-
sition F.11 is classical. The rest of the results are due to S. Popa. Theo-
rem F.12 and its corollaries are obtained in a series of papers starting with
[160]. Corollary F.14 was communicated to the authors by S. Vaes. Theo-
rem F.20 is taken from [154].