Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - start with the Axiom of Extensionality
Basic operations on classes
The difference of two classes
cdif

Next ⟩ difjust

Metamath Proof Explorer

Unicode
Structured

Syntax definition cdif

Description: Syntax for the difference of two classes.

		Ref	Expression
	Assertion	cdif	class ( A \ B )