quantum operation
class of transformations that quantum systems and processes can undergo; a completely positive linear map between spaces of trace class operators that maps a trace 1 operator to an operator of trace at most 1
quantum instrument
mathematical abstraction of quantum measurement