A note related to the CS decomposition and the BK inequality for discrete determinantal processes. (24th March 2023)