основи мат логіки

df

3) функцiя f(x) рiвномiрно неперервна на iнтервалi (a,b)( >0) ( >0) (c (a,b)) (x (a,b))((|x-c|< ) (|f(c)-f(x)|< )).

Означення основних теоретико-множинних операцiй i вiдношення включення для множин можуть бути записанi так:

df

x A B (x A) (x B),

df

x A B (x A) (x B),

df

x A\B (x A) (x B),

df

A B x((x A) (x B))

тощо.

31