Definition df-funsALTV 39443

Description: Define the function relations class, i.e., the class of functions. Alternate definitions are dffunsALTV 39445, ... , dffunsALTV5 39449. (Contributed by Peter Mazsa, 17-Jul-2021.)

Assertion

Ref	Expression
df-funsALTV	⊢ FunsALTV = ( Funss ∩ Rels )

Detailed syntax breakdown of Definition df-funsALTV

Step	Hyp	Ref	Expression
1		cfunsALTV 38892	. 2 class FunsALTV
2		cfunss 38891	. . 3 class Funss
3		crels 38862	. . 3 class Rels
4	2, 3	cin 3903	. 2 class ( Funss ∩ Rels )
5	1, 4	wceq 1569	1 wff FunsALTV = ( Funss ∩ Rels )

This definition is used by:  dffunsALTV  39445