Hvad er prædikater?

Nogle gange skal man sige, at noget gælder for en mængde.

Dette kaldes et prædikat.

For eksempel hvis vi har mængden:

A={1,2,3,4}

Så kan vi lave en delmængde:





Betyder:

: x er med i mængden A.

Prædikatet:

: x er større end 2.

Det vil sige, at x er et element i A, og x er større end 2.

| kan også kaldes: "For hvilket det gælder".