w-bnj13 - Mathbox for Jonathan Ben-Naim

	Mathbox for Jonathan Ben-Naim		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > w-bnj13		Structured version Visualization version GIF version

Syntax Definition w-bnj13 31960

Description: Extend wff notation with the following predicate: 𝑅 is set-like on 𝐴. (New usage is discouraged.)

**Hypotheses**
Ref	Expression
cA	class 𝐴
cR	class 𝑅

**Assertion**
Ref	Expression
w-bnj13	wff 𝑅 Se 𝐴

See definition df-bnj13 31961 for more information.

Colors of variables: wff setvar class