Abstract

The concept of an effect test space, which is equivalent to a D-test space of Dvurečenskij and Pulmannová, is introduced. Connections between effect test space. (E-test space, for short) morphisms, and event-morphisms as well as between algebraic E-test spaces and effect algebras, are studied. Bimorphisms and E-test space tensor products are considered. It is shown that any E-test space admits a unique (up to an isomorphism) universal group and that this group, considered as a test group, determines the E-test space uniquely (up to an isomorphism)