Ortho and Causal Closure as a Closure Operations in the Causal Logic

We investigate two different closure operations (ortho and causal closure) generated by a causal structure. In the case of orthogonal sets bounded in time two closure operations coincide and a lattice of double orthoclosed sets in this case is orthomodular.