linearizability renormalisability pluralisability characterisability realisability operationalisability cycleability parallelizability writeability algebraizability