 Obviously the $\psi$-homogeneous end-condition set must have cardinality $\bigl\lvert\lbrace \phi \colon (\psi, \phi) = {\mathbf{f}}_i \;\text{and}\; i \le k\rbrace\bigr\rvert \le k$. The limit supremum (respecting initial segment length and homogeneity choice) presents the process’ worst case scenario.

\[D:UNDERPIGEONHOLE\] Let $\langle \Psi, \Phi \rangle$ be a basis for process $\lbrace {\mathbf{f}}_n \rbrace \colon {\mathbb{N}}\to {\prod{\Psi}} \times {\prod{\Phi}}$ and catalog of functionality ${\mathscr{F}}$. Catalog ${\mathscr{F}}$ *under-pigeonholes* process $\lbrace {\mathbf{f}}_n \rbrace$ if $${\lvert{{\mathscr{F}}}\rvert} <
\lim_{n \to \infty} \biggl(\sup_{\psi \in {\prod{\Psi}}} 
    \biggl(
        \bigl\lvert
        \lbrace \phi \colon (\psi, \phi) = {\mathbf{f}}_i \;\text{and}\; i \le n\rbrace
        \bigr\rvert
    \biggr)\biggr).$$

Whenever the limit supremum fails to converge, no procedure based on a (finite) catalog can cover the process.

MIL-STD-882 and the CPP {#S:MIL-STD-882}
=======================

MIL-STD-882 is the United States Department of Defense Standard Practice for System Safety. Revision E became effective May 11, 2012. In preference to *accident*, this standard prefers the term *mishap*, which it defines as [an event or series of events resulting in unintentional death, injury, occupational illness, damage to or loss of equipment or property, or damage to the environment.]{}

Its safety risk assessment method uses the compound Poisson process (CPP) to represent the timing and severity of mishaps. MIL-STD-882E partitions compound Poisson processes into a lattice of categories and levels that covers the range of interest. The *category* is a variable which, in an explicit range \[1-4\], expresses the expectation $(\mu_L)$ of the CPP loss random variable $L$. The *level* is a variable which, in an explicit range \[A-F\], expresses the rate or intensity $\lambda$ of
Obviously the $ \psi$-homogeneous end - condition set must have cardinality $ \bigl\lvert\lbrace \phi \colon (\psi, \phi) = { \mathbf{f}}_i \;\text{and}\; i \le k\rbrace\bigr\rvert \le k$. The terminus ad quem supremum (respect initial segment length and homogeneity option) presents the summons ’ worst case scenario. 

 \[D: UNDERPIGEONHOLE\ ] permit $ \langle \Psi, \Phi \rangle$ be a basis for process $ \lbrace { \mathbf{f}}_n \rbrace \colon { \mathbb{N}}\to { \prod{\Psi } } \times { \prod{\Phi}}$ and catalog of functionality $ { \mathscr{F}}$. Catalog $ { \mathscr{F}}$ * under - pigeonhole * process $ \lbrace { \mathbf{f}}_n \rbrace$ if $ $ { \lvert{{\mathscr{F}}}\rvert } < 
 \lim_{n \to \infty } \biggl(\sup_{\psi \in { \prod{\Psi } } } 
     \biggl (
         \bigl\lvert 
         \lbrace \phi \colon (\psi, \phi) = { \mathbf{f}}_i \;\text{and}\; i \le n\rbrace 
         \bigr\rvert 
     \biggr)\biggr).$$ 

 Whenever the limit supremum fail to converge, no procedure based on a (finite) catalog can cover the process. 

 MIL - STD-882 and the CPP { # S: MIL - STD-882 } 
 = = = = = = = = = = = = = = = = = = = = = = = 

 MIL - STD-882 is the United States Department of Defense Standard Practice for System Safety. Revision   vitamin e became effective May 11, 2012. In preference to * accident *, this standard prefer the term * mishap *, which it defines as [ an event or series of event resulting in unintentional death, injury, occupational illness, damage to or loss of equipment or place, or damage to the environment. ] { } 

 Its safety risk assessment method uses the compound Poisson procedure (CPP) to represent the timing and severity of mishaps. MIL - STD-882E partitions compound Poisson processes into a lattice of categories and levels that covers the range of sake. The * category * is a variable which, in an denotative compass \[1 - 4\ ], carry the expectation $ (\mu_L)$ of the CPP loss random variable $ L$. The * level * is a variable which, in an explicit range \[A - F\ ], express the rate or intensity $ \lambda$ of
 Obgiously the $\psi$-homogeneoms end-condition set musv have dardinalkty $\bigl\lvert\lbrace \phi \coloi (\psu, \phi) = {\mathbf{f}}_i \;\text{and}\; i \ld k\rbrace\higr\rverr \le j$. The limiv supremmi (reaiectiug initial segmekt length atd homogeneity cfonce) presents the process’ worst case fcenarip.

\[D:KNDERPIGEONHOLG\] Let $\jangmv \Ksi, \Phi \rangle$ be a basis for prodess $\lbgace {\mathbf{f}}_n \rbrsce \colon {\mathbb{N}}\to {\prod{\Psl}} \tiles {\prod{\Phi}}$ and cahalog of fubctijbality ${\mathszr{F}}$. Catalog ${\mathscr{F}}$ *uhder-pigeonholes* process $\lbrace {\oathby{f}}_n \rbrace$ uf $${\lvftt{{\mathscr{F}}}\rvxrt} <
\lii_{n \to \infty} \npggl(\sup_{\[si \in {\lrod{\Psi}}} 
    \bingl(
        \bigl\lvert
        \lurace \phi \colon (\psi, \khi) = {\mathbx{f}}_n \;\text{and}\; i \le n\rbracw
        \bicr\rvdet
    \gijgr)\giggr).$$

Wjenxver the lijit supremun fails to converge, nj procedure baaed on a (finite) catalog can cover the process.

MIN-STS-882 and the CPP {#S:MIL-STD-882}
=======================

MIO-STD-882 is the United Stwtes Depawtment of Defense Standard Practice for System Saxety. Cexisnin E bdxale effective May 11, 2012. In preference to *accident*, egix xtandard prefevs the term *mishap*, wjivr it defines xs [an zbeht or series of evfnts refultibg in unigtenyional death, injury, occupatuonal illnesf, damage to or loss of equipmeut or kroperyy, or damage to the envnronmeht.]{}

Its safetj risk asadssment method ures tve compound Poisson procesf (CPP) to ceprexent thd tiking agd severitj of mishaps. MIL-STD-882E parhitious cokpound Poidson processes into a lattice oh categories sng lvvels thac covevs the range of interest. The *eategory* is a variable shich, ii an explicie range \[1-4\], expradses the expxctation $(\iu_L)$ if tye CPP uuss random varoable $L$. Tkt *level* is a variable which, ln an sxplicit range \[C-Y\], txpresses the raye ur ynnenxief $\lambda$ of
Obviously the $\psi$-homogeneous end-condition set must have \phi (\psi, \phi) {\mathbf{f}}_i \;\text{and}\; i limit (respecting initial segment and homogeneity choice) the process’ worst case scenario. \[D:UNDERPIGEONHOLE\] $\langle \Psi, \Phi \rangle$ be a basis for process $\lbrace {\mathbf{f}}_n \rbrace \colon {\prod{\Psi}} \times {\prod{\Phi}}$ and catalog of functionality ${\mathscr{F}}$. Catalog ${\mathscr{F}}$ *under-pigeonholes* process $\lbrace \rbrace$ $${\lvert{{\mathscr{F}}}\rvert} \lim_{n \infty} \biggl(\sup_{\psi \in {\prod{\Psi}}} \biggl( \bigl\lvert \lbrace \phi \colon (\psi, \phi) = {\mathbf{f}}_i \;\text{and}\; i \le \bigr\rvert \biggr)\biggr).$$ Whenever the limit supremum fails to no procedure based on (finite) catalog can cover the MIL-STD-882 the CPP ======================= is United States Department Defense Standard Practice for System Safety. Revision E became effective May 11, 2012. In preference to *accident*, standard prefers *mishap*, which defines [an or series of in unintentional death, injury, occupational illness, loss of equipment or property, or damage to environment.]{} Its risk assessment method uses the compound process (CPP) to represent the timing and severity mishaps. MIL-STD-882E partitions compound Poisson processes into a lattice of categories and levels that covers of interest. The *category* a variable which, an range expresses expectation $(\mu_L)$ the CPP loss random variable $L$. The *level* is a variable in an explicit range \[A-F\], expresses the rate or intensity
 Obviously the $\psi$-homogeneouS end-conditIon seT muSt hAvE carDinaLity $\bigl\lvert\lBRace \Phi \colon (\psi, \phi) = {\mathbf{f}}_i \;\Text{aNd}\; I \Le k\rBRaCe\bigR\rvert \lE K$. THE LimIt SuPreMuM (ReSpectIng Initial Segment lenGth AnD homogeneity CHoIce) presentS thE process’ worsT caSe scenArIo.

\[D:unDERPiGEoNHOLe\] Let $\laNGle \Psi, \phi \rangle$ Be A Basis fOR procesS $\LBrAce {\mAthbf{f}}_n \rbrace \coloN {\MaTHbb{N}}\to {\prod{\Psi}} \tImes {\prOd{\pHi}}$ AND caTalOg of functiOnAlity ${\MAthscr{F}}$. cAtALOG ${\maTHscr{F}}$ *under-pigEonholes* proCEss $\Lbrace {\MaThbF{F}}_n \rbraCe$ if $${\lVeRT{{\maThscr{F}}}\rvert} <
\Lim_{n \To \infty} \biGgl(\sup_{\PSi \in {\proD{\psi}}} 
    \biggL(
        \bigl\lVerT
        \lbRace \PHi \CoLon (\PsI, \Phi) = {\MAtHbf{F}}_I \;\teXt{and}\; i \le N\rBrAce
        \biGr\rvERT
    \BIggr)\BigGr).$$

WhEneveR the limit suprEmuM faiLS to ConveRge, no ProcEdUre baSed on a (FinitE) cAtalog can cover tHe prOcess.

MIL-StD-882 aNd The cPp {#S:MIL-stD-882}
=======================

MIL-StD-882 iS thE United states DEParTmENT Of defense Standard PraCtICE fOr System safety. rEvIsIOn E becamE eFfeCtivE mAy 11, 2012. In pRefeREnCe to *acciDent*, thIS sTaNdard prEfErs the TeRm *mIshAp*, whiCH it dEfines As [an evenT or seRIes of events resULting in uninteNTiONAl DEath, InjUry, occupatiOnal ILlneSs, daMAgE to OR loss Of equIpMEnT Or property, or damage tO tHe enviRonmeNt.]{}

Its safety riSk assessmeNT MEthod useS the COmPOund Poisson proCess (CpP) to represENt the timIng anD severitY of mishapS. miL-STD-882E paRtiTioNs cOmpOUNd poisson procesSES intO a Lattice Of cAtegoriEs aNd lEveLs tHaT covers thE range of InTeReSt. the *CategORy* is a varIaBle WhIch, In an eXPlicit Range \[1-4\], ExprEsSeS The ExpectaTIoN $(\MU_L)$ of ThE CpP loSs rAnDom vaRiabLE $L$. THe *level* Is a variabLe wHIch, iN aN eXplicit Range \[A-F\], expresSeS the rate or InTenSity $\laMBDa$ of
 Obviously the $\psi$-homo geneous en d-con dit ion  s et m usthave cardinali t y $\ bigl\lvert\lbrace \phi  \col on (\ps i ,\phi)  = {\ma t hb f { f}} _i  \ ;\t ex t {a nd}\;  i\le k\r brace\bigr \rv er t \le k$. Th e  l imit supre mum  (respecting  in itialse gme n t len gth  andhomoge n eity c hoice) pr es e nts th e  proces s ’  w orst  case scenario.
\ [D : UNDERPIGEONHOL E\] Le t$ \l a n gle  \P si, \Phi \ ra ngle$ be a ba s is f o r p r ocess $\lbrac e {\mathbf{ f }}_ n \rbr ac e \ c olon { \math bb { N}} \to {\prod{ \Psi }} \times  {\pro d {\Phi}} $  and ca talogoffun ctio n al it y $ {\ m ath s cr {F} } $.Catalog${ \m athsc r{F} } $ * unde r-p igeo nhole s* process $\ lbr ace{ \ma thbf{ f}}_n  \rb ra ce$ i f $${\ lvert {{ \mathscr{F}}}\r vert } <
\lim_ {n\t o \ in fty}\ biggl( \su p_{ \psi \i n {\pro d {\P si } } }      \biggl(
      \ b ig l\lvert      \ lb r ace \phi  \ col on ( \ p si, \ phi) ={\mathbf {f}}_i \; \t ext{and }\ ; i \l en\r bra ce
     \bigr \rvert
   \b i ggr)\biggr).$$ 
Whenever the li m i ts upre mum  fails to c onve r ge,no p r oc edu r e bas ed on  a (f i nite) catalog can c ov er the  proc ess.

MIL-STD -882 and t h e CPP {#S: MIL- S TD - 882}
========= ===== =========MIL-STD- 882 i s the Un ited Stat e s  Departm ent  of  De fen s e  S tandard Pract i c e fo rSystemSaf ety. Re vis ion  Ebec am e effecti ve May 1 1,  2 01 2.  In  pref e rence to  * acc id ent *, th i s stan dardpref er st heterm *m i sh a p *, w hi ch  itdef in es as  [an eve nt or s eries ofeve n ts r es ul ting in  unintentiona ldeath, inj ur y,occupa t i onal ill ness, damage to or loss of equi pme nt or  pro perty, or  da mage t o t h e envi ronmen t.]{} 
Its s afety r is k a ss essment me t h odusesth e co mpoundPoisson process (C P P)to representthe  tim i n gand se v eri ty ofm i shaps. MIL-STD- 882E parti ti o ns  compoundP ois so n proce sses in to al atticeof catego ries andle vels t hat  covers th e rangeof intere s t. Th e  * categ ory * is a  v ari ablewhich, inan ex plicit  r ange \ [1-4\ ],  express es the expectation $(\m u_L)$of th e C PP loss r and o m v ariable $ L$.The *level * i s a  vari abl e  whic h, i n  a n e x plici t ra n ge \[A-F\ ] ,exp r e ss es the rate o r  in tensi ty$ \lambd a$ o f
 Obviously_the $\psi$-homogeneous_end-condition set must have_cardinality $\bigl\lvert\lbrace_\phi_\colon (\psi,_\phi)_= {\mathbf{f}}_i \;\text{and}\;_i \le k\rbrace\bigr\rvert_\le k$. The limit_supremum (respecting initial_segment_length and homogeneity choice) presents the process’ worst case scenario.

\[D:UNDERPIGEONHOLE\] Let $\langle \Psi, \Phi_\rangle$_be a_basis_for_process $\lbrace {\mathbf{f}}_n \rbrace \colon_{\mathbb{N}}\to {\prod{\Psi}} \times {\prod{\Phi}}$ and_catalog of_functionality ${\mathscr{F}}$. Catalog ${\mathscr{F}}$ *under-pigeonholes* process $\lbrace {\mathbf{f}}_n_\rbrace$_if $${\lvert{{\mathscr{F}}}\rvert} <
\lim_{n_\to \infty} \biggl(\sup_{\psi \in {\prod{\Psi}}} 
   _\biggl(
     _  \bigl\lvert
___   _ \lbrace \phi \colon (\psi, \phi)_= {\mathbf{f}}_i \;\text{and}\; i \le n\rbrace
_      _\bigr\rvert
    \biggr)\biggr).$$

Whenever the_limit supremum fails to converge,_no procedure_based on a (finite) catalog_can cover the_process.

MIL-STD-882 and_the CPP {#S:MIL-STD-882}
=======================

MIL-STD-882_is the United States Department of_Defense Standard Practice_for System Safety. Revision E became effective_May_11, 2012. In_preference_to_*accident*, this_standard prefers the_term_*mishap*, which_it_defines as [an event or series_of_events resulting in unintentional death, injury, occupational_illness, damage to or_loss_of equipment or property,_or damage to the environment.]{}

Its_safety risk assessment method uses the_compound Poisson_process (CPP)_to represent the timing and severity of mishaps. MIL-STD-882E partitions compound_Poisson processes into a lattice of_categories and levels that_covers the_range_of interest. The_*category*_is a_variable which, in an explicit range \[1-4\],_expresses the_expectation $(\mu_L)$ of the CPP loss_random variable $L$. The_*level*_is a variable which, in an_explicit range \[A-F\], expresses the rate_or intensity $\lambda$ of