I think the most general thing you could say is monadic mutations of some global state. Blocks act as operators on this state. I don't necessarily think it has to be a consensus algorithm. It can be used as that though.
Blocks are taken as part of the blockchain once there is consensus amongst the nodes that it is valid, so the consensus algorithm (as well as the POW algorithm) are integral parts of what makes a blockchain a blockchain