commensurable equal setlike uniformizable computable mathematizable homogeneous countably additive equivalent approximable