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

$\forall b\in B$ i $\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  Arhivirana inačica izvorne stranice od 8. listopada 2019. (Wayback Machine) Mladen Vuković: Neki osnovni pojmovi teorije skupova, 2004. str. 4 (pristupljeno 14. listopada 2019.)