Abstract: | The author has previously defined the concept of a general system in terms of operators and operands. An operand is a mapping defined on a subset of an m-fold Cartesian product instead of the usual set and collection of k-ary relations on it. An operator is a kind of mapping between two collections of operands. Here subsystems, extensions, and the notion of P-semiexactness is studied. In particular we derive conditions such that P-semiexactness of a composition of operators, and of one factor, implies P-semiexactness of the other factor. |