  We say that two similar structures A, B are Boolean isomorphic, written A ≅b B, if, for some complete Boolean algebra B, we have V(B)  ⊨ A ≅ B, that is, if there is a Boolean extension of the universe of sets in which the canonical representatives of A and B are isomorphic with Boolean value 1. It can then be shown that: 