n o t r e f l e x i v e . We c a n t e s t it u s i n g t h e E Q U I V R E L operator. B i n a r y m u l t i p l i c a t i o n is o n e s u c h counter-example. R Transitive and Symmetric A but not Reflexive: x EQUIVREL 01 0 I 1 The SIGAPL Annual Report Dick Bowman SIGAPL Chairman I f w e define a function N O w h i c h ahvays produces 0, w e can find another counter example: V [1] 7 Z A Z O 1N01 NO B Dogon Research 2 Dean Gardens L o n d o n E17 3QP E n g l a n d Tel: + 44-81-520-6334 E-maih bowman@apl.demon.co.uk Submitted to A C M on 03 duly 1994 NO 0 1 1 EQUIVREL ii0 The reflexive property ensures that every item is a m e m b e r o f s o m e p a r t i t i o n . In b i
/lp/association-for-computing-machinery/the-sigapl-annual-report-5azZqoHRt6