Početni komad

Početni komad je pojam iz teorije skupova.

Kad imamo proizvoljan parcijalno uređen skup (A, <), za lanac B kažemo da je početni komad skupa A ako vrijedi

$\mathrm{\forall }b\in B$ i $\mathrm{\forall }A\in A$

ako vrijedi da iz činjenice $a<b\Rightarrow a\in B$

Primjerice {1, 2,...,1000} je početni komad skupa (N, <) a interval <−∞,33> je jedan početni komad skupa (R, <).

Izvori

• Prirodoslovno matematički fakultet u Zagrebu Predložak:Webarchive Mladen Vuković: Neki osnovni pojmovi teorije skupova, 2004. str. 4 (pristupljeno 14. listopada 2019.)