Description: Extend the definition of a wff to include the relation-preserving property. (Contributed by Eric Schmidt, 11-Oct-2025)
| Ref | Expression | ||
|---|---|---|---|
| Assertion | wrelp | Could not format assertion : No typesetting found for wff H RelPres R , S ( A , B ) with typecode wff |