Početni komad
Izvor: Hrvatska internetska enciklopedija
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
[math]\displaystyle{ \forall b\in B }[/math] i [math]\displaystyle{ \forall A\in A }[/math]
ako vrijedi da iz činjenice [math]\displaystyle{ a \lt b \Rightarrow a\in B }[/math]
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.)