NFE Home New Foundations Explorer < Previous   Next >
Nearby theorems
Mirrors  >  Home  >  NFE Home  >  Th. List  >  cpartial GIF version

Syntax Definition cpartial 5891
Description: Extend the definition of a class to include the set of all partial orderings.
Ref Expression
cpartial class Po

See definition df-partial 5902 for more information.

Colors of variables: wff setvar class
  Copyright terms: Public domain W3C validator