|
|
Zermelo set theory
<mathematics> A set theory with the following set of
axioms:
Extensionality: two sets are equal if and only if they have
the same elements.
Union: If U is a set, so is the union of all its elements.
Pair-set: If a and b are sets, so is
{a, b}.
Foundation: Every set contains a set disjoint from itself.
Comprehension (or Restriction): If P is a formula with one
free variable and X a set then
{x: x is in X and P(x)}.
is a set.
Infinity: There exists an infinite set.
Power-set: If X is a set, so is its power set.
Zermelo set theory avoids Russell's paradox by excluding
sets of elements with arbitrary properties - the Comprehension
axiom only allows a property to be used to select elements of
an existing set.
Zermelo Fränkel set theory adds the Replacement axiom.
[Other axioms?]
(1995-03-30)
Try this search on OneLook / Google
Nearby terms:
ZENO « zepto « Zermelo Fränkel set theory « Zermelo set theory » ZERO » zero » Zero and Add Packed
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
HP ScanJet 3970 48-Bit USB Flatbed ScannerHP ScanJet 3970 48-Bit USB Flatbed Scanner ** Hewlett Packard ScanJet 3970 Flatbed Scanner **The Hewlett Packard ScanJet 3970 lets you scan photos, slides, negatives, even documents at a touch of a button. With 2400-dpi resolution and 48-bit color, you'll get photoquality results every time. The built-in transparent materials adapter enables you to easily scan negatives and slides. Order your HP ScanJet 3970 today!General Features:- Flatbed scanner type- USB interface- Charged coupled device scanning element- 2400 dpi optical resolution- 48-bit color- Built-in negative and slide adapter- 12 dpi at 100% scaling selectable resolution Transparent Materials Adapter:- Media Type: 1 slide up to 2 frames of a 35 mm negative- Media Capacity: Slide : 1.05 to 1.9 mm thick and49.8 to 50.8 mm on any sideFront Panel Features:- Scan button- Copy button- HP Instant Share button- Memories Disc CreatorUnit Dimensions:- 3.5 x 12.5 x 19.25-inches (H x W x D)Regulatory Approvals:- UL- FCC- CE- TUV/GS- Gost-R- MIC- CCCRetail Package Includes:- Hewlett Packard ScanJet 3970Flatbed Scanner- User's Manual- Setup Guide- HP Photo and Imaging software CD- USB cable (Type A to B)- AC adapter (120V,60Hz, 1A; 12V, 1250mA)Notes:- Model: Q3191AR- UPC: 8 08736 57082 4 Compatibility/Requirements/Disclosures:** Requirements **** PC Requirements *** Microsoft Windows 98/98SE/2000/ME/XP* Intel Pentium II 233 MHz processor or faster* 64 MB RAM* 225 MB free hard disk space* CD-ROM drive* SVGA monitor capable of 16-bit color* Available USB port * Available power outlet** Macintosh Requirements *** Macintosh OS 9.1 or higher* 233 MHz processor PowerPC * 64 MB RAM (Mac OS X: 128 MB)* 240 MB free hard disk space* CD-ROM drive* 800 x 600 monitor capable of 16-bit colors* Available USB port * Available power outlet Informational Links:http://www.hp.com More ...
Corporate Purchaser Pages UpdatedWe have placed new info directed at people who must submit requests to their purchasing departments before ordering. Submitting some of this information along with your requisition may speed processing of your request.
Intel PIII Xeon 900 MHz 100MHz 2MB Slot 2 CPUIntel PIII Xeon 900 MHz 100MHz 2MB Slot 2 CPU ** Intel Pentium III Xeon Processor at 900 MHz **This Intel Pentium III processor is designed for mid-range and higher server and workstations. It includes an integrated passive heatsink to assist the integrator in proper thermal managementof the processor.General Features:- 900 MHz- 100 MHz system bus- 2 MB full speed L2 cache- Supports Multi-processing- 2.8v Input Voltage- Slot 2 CPU- Streaming SIMD Extensions- Attached Passive Heat Sink- Extended Server Memory Architecture- S-Spec: SL5D3Retail Box Includes:- Pentium III Xeon 900 MHz CPU- Attached Heat SinkNotes:- EAN: 5 032037 002240- UPC: 7 35858 14518 3 Compatibility/Requirements/Disclosures:** Requirements *** Motherboard that supports PIII Xeon 900 MHz CPUs More ...
Thrustmaster Power Pack for GameBoy (Blue)Thrustmaster Power Pack for GameBoy (Blue) ** Thrustmaster Power Handles Power Pack for GameBoy **GOT GAME? Travel anywhere with your GameBoy Color or GameBoy Pocket consoles with the Power Handles Travel Pack. It features a power handle, magnifying glass, AC adapter, card adapter and link cable. PLAY HARD...BUY IT TODAY!General Features:- Blue colorPower Handle Features:- Ergonomically designed- Approximate 12 hours of playtimeMagnifying Glass Features:- Illuminated- Greater clarity for improved performance- Operates on 2 AAA batteries (not included)A/C Adapter Features:- Input: AC120V, 60Hz, 2W- Output: DC3V, 200mA, 0.6VACar Adapter Features:- Allows you to play during a car trip without needing batteriesLink Cable Features:- Links two GameBoy consoles togetherRetail Blister Pack Includes:- Power Handle- Magnifying Glass- A/C Adapter- Car Adapter- Link Cable Compatibility/Requirements/Disclosures: ** Requirements *** GameBoy Color Console and GameBoy Pocket Consoles* Available power outlet* Available car cigarette lighter outlet* Two (2) AAA batteries More ...
SuperSecret 2.0Provides secure storage for all of your logins and passwords.
NEW Celeron 1.8GHz 256MB 40GB 52X SystemNEW Celeron 1.8GHz 256MB 40GB 52X System ** NEW Celeron 1.8GHz 256MB 40GB 52X System **This FAST system features an Intel Celeron 1.8GHz processor, a 40GB 7200RPM hard drive, 256MB RAM, and sports a 52X CD-ROM drive.General Features:- Intel Celeron 1.8GHz Processor- 256MB SDRAM Memory- 40GB 7200RPM IDE Hard Drive- 52X CD-ROM Drive- Integrated video up to 64MB shared memory- AC97 Integrated Audio- 56K V.90 Data/Fax Modem- Integrated 10/100 Ethernet- Standard Size ATX Power SupplyMotherboard Features:- Three (3) PCI slots- One (1) CNR Slot (occupied by modem)I/O Ports:- Two (2) PS/2 Ports, one for mouse, one for keyboard- One (1) Standard DB-15 VGA Connector- One (1) Standard 25-pin Parallel Port Connector- Two (2) Standard 9-pin Serial Port Connectors- Six (6) Standard USB 2.0 Ports (Two on front, four on rear)- One (1) Standard RJ-45 10/100 Ethernet Port- Line-in, Phone-out RJ-11 Jacks on PCI Modem- Line-in, Mic-in, Line-out 3.5mm mini-jacksPackage Includes:-Amptron Celeron 1.8GHz System- PS/2 Keyboard and Scroll Mouse- Driver Disc- Panda AntiVirus Software- FaxTalk Communicator Software- Adobe Reader- RJ-11 Phone Cable for Modem- Amplified Stereo Speakers - Amptron Motherboard manual- U.S. Style Power CordCompatibility/Requirements/Disclosures:** Requirements *** Operating system (WinXP,2000,98,etc.)* VGA monitor* Power outlet More ...
|
