They place upper and lower bounds on the type member.