Remark* 5.3 For a well-behaved process theory like relations, all bases for a particularsystem will be the same size. In that case, we can just as well define dim(A) to be the size ofany basis. For the theory of linear maps, this result is commonly known as the dimensiontheorem.