Corrections


Subject: Corrections
From: Jonathan Edwards (edwards@intranet.com)
Date: Wed Jan 09 2002 - 19:40:44 EST


As requested,

On pg.10, a relation is defined as a set of two-element sets. That only
works for anti-reflexive symmetric relations. The usual definition uses
ordered pairs.

In the table at the bottom of pg. 13, eval_ is defined as a restriction
of ->_. It should be =_.

-
Jonathan



This archive was generated by hypermail 2b28 : Wed Jan 09 2002 - 19:40:49 EST