Left Arrow, linking to the previous slide

Up arrow, linking to the overview page

Right Arrow, linkink to the next slide

Property Characterizations

image replacement for an SVG file...

Other features include: symmetric, functional, inverse, ...
Essential to make logical deductions possible!

Ivan Herman, W3C Head of Offices

Brussels, 24 June, 2003

23 (35)