“up to isomorphism” is weird. I tried they’re trying to say a unique cardinal number and by isomorphism they just mean any bijection.