Početni komad

Izvor: Hrvatska internetska enciklopedija
Skoči na:orijentacija, traži

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