noun US another name for casein n.A compound produced by the action of rennin upon casein.