Non-contiguous Substrings and One-to-one Finite Sequences
暂无分享,去创建一个
Summary. This text is a continuation of [3]. We prove a number of theorems concerning both notions introduced there and one-to-one finite sequences. We introduce a function that removes from a string elements of the string that belongs to a given set.
[1] A. Trybulec. Tarski Grothendieck Set Theory , 1990 .
[2] G. Bancerek. The Fundamental Properties of Natural Numbers , 1990 .
[3] Grzegorz Bancerek,et al. Segments of Natural Numbers and Finite Sequences , 1990 .
[4] Kenneth Halpern August. The Cardinal Numbers , 1888, Nature.
[5] Zinaida Trybulec,et al. Boolean Properties of Sets , 1990 .
[6] Czesław Bylí. Finite Sequences and Tuples of Elements of a Non-empty Sets , 1990 .