On a binary operation for positive operators
scientific article; zbMATH DE number 7966720