As provisões matemáticas que uma EFPC deve ter em seu ativo para garantir seus compromissos futuros são representadas pelas provisões de benefícios concedidos, somadas às provisões de benefícios a conceder, subtraídas das provisões matemáticas a constituir, e devem ser evidenciadas na demonstração das obrigações atuariais do plano de benefícios.