Abstract
The permutation equivalence relation of system structures with logical relations and permutation refinement and aggregation with logical relations is defined. Proof of the suffi-
Notes
conditions for mapping SL G →SL G /iL to from lattice homomorphism is presented.