mbrudka

@KOLANICH Did you consider a relaxed definition for the serialization: `psc_{ksy_f}(ssc_{ksy_f}(o)) ≡ o ∀o ∈ O_f, ∀ksy_f ∈ KSY_f`, where `O_f` is a space of structure values valid with respect...

@KOLANICH The rest of your reply suggest that you understand what is O_f. I am really glad you see the differences between definition as some may think they are equivalent....