BINARY RELATIONS - ADDENDA 1 (KERNEL, RESTRICTIONS AND INDUCING, RELATIONAL MORPHISMS)

This paper (in two parts) contains some addenda to binary relations theory in a background witch is extended by generalized categorical operations - relative to the unregulated category of binary relations Rel associated with the regulate category Sat The first two addenda from this part of the paper refer to the kernel, respectively to the restrictions and the induced relation in arbitrary sets of a binary relation - in connection with Boolean algebra operations and generalized categorical operations. The last addendum consists in a hierarchy of relational morphisms in parallel in homogeneous and inhomogeneous cases to witch the notion of (bi)simulation (generalized for inhomogeneous case) is reported important in concurrency programming.