noun the principal protein of milk, converted to casein by renninSometimes called (US): casein