extensional extensional extensional definitions extensional Extensional Definition extensional extensional extensional extensional extensional extensional extensional extensional extensional extensional extensionally extensional definitions extensional extensional extensional extensional extensional extensional http://en.wikipedia.org/wiki/Extensional_definition extensional definitions extensional extensionally extensionally extensional extensionally extensional extensional definitions extensional extensional definition Extensional Definition extensional extensional extensional extensional extensional extensional extensional extensional extensional extensional