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 Mladen Vuković: Neki osnovni pojmovi teorije skupova, 2004. str. 4 (pristupljeno 14. listopada 2019.)