Properties of subsets

Properties of subsets (1989)

by Zinaida Trybulec

Venue:	Journal of Formalized Mathematics
Citations:	1164 - 0 self

Datum	Value	Source
TITLE	Properties of subsets	INFERENCE
AUTHOR NAME	Zinaida Trybulec	SVM HeaderParse 0.2
AUTHOR AFFIL	Warsaw University	SVM HeaderParse 0.2
ABSTRACT	Summary. The text includes theorems concerning properties of subsets, and some operations on sets. The functions yielding improper subsets of a set, i.e. the empty set and the set itself are introduced. Functions and predicates introduced for sets are redefined. Some theorems about enumerated sets are proved. MML Identifier: SUBSET_1. WWW:	SVM HeaderParse 0.2
YEAR	1989	INFERENCE
VENUE	Journal of Formalized Mathematics	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	1--1	INFERENCE
VOLUME	1	INFERENCE
CITATIONS	3 found	ParsCit 1.0