Lo anterior se denota como: