Type vs Adicity - What's the difference?

type | adicity | Synonyms |

Type is a synonym of adicity.

As nouns the difference between type and adicity

is that type is a grouping based on shared characteristics; a class while adicity is (logic|mathematics|computer science) the number of arguments or operands a function or operation takes for a relation, the number of domains in the corresponding cartesian product.

As a verb type

is to put text on paper using a typewriter.

Other Comparisons: What's the difference?




(en noun)
  • A grouping based on shared characteristics; a class.
  • * {{quote-magazine, date=2012-03
  • , author=Lee A. Groat, volume=100, issue=2, page=128, magazine=(American Scientist) , title= Gemstones , passage=Although there are dozens of different types of gems, among the best known and most important are diamond, ruby and sapphire, emerald and other gem forms of the mineral beryl, chrysoberyl, tanzanite, tsavorite, topaz and jade.}}
  • An individual considered typical of its class, one regarded as typifying a certain profession, environment, etc.
  • * 2002 , Pat Conroy, The Great Santini , page 4:
  • "I just peeked out toward the restaurant and there are a lot of Navy types in there. I'd hate for you to get in trouble on your last night in Europe."
  • An individual that represents the ideal for its class; an embodiment.
  • * 1872 , Mary Rose Godfrey, Loyal , volume 3, page 116:
  • Altogether he was the type of low ruffianism — as ill-conditioned a looking brute as ever ginned a hare.
  • (printing, countable) A letter or character used for printing, historically a cast or engraved block.
  • # (uncountable) Such types collectively, or a set of type of one font or size.
  • # (chiefly, uncountable) Text printed with such type, or imitating its characteristics.
  • The headline was set in bold type .
  • (biology) An individual considered representative of members of its taxonomic group.
  • Preferred sort of person; sort of person that one is attracted to.
  • (biology) A blood group.
  • (theology) An event or person that prefigures or foreshadows a later event - commonly an Old Testament event linked to Christian times.
  • (computing theory) A tag attached to variables and values used in determining which kinds of value can be used in which situations; a data type.
  • (fine arts) The original object, or class of objects, scene, face, or conception, which becomes the subject of a copy; especially, the design on the face of a medal or a coin.
  • (chemistry) A simple compound, used as a mode or pattern to which other compounds are conveniently regarded as being related, and from which they may be actually or theoretically derived.
  • The fundamental types used to express the simplest and most essential chemical relations are hydrochloric acid, water, ammonia, and methane.
  • (mathematics) A part of the partition of the object domain of a logical theory (which due to the existence of such partition, would be called a typed'' theory). (''Note : this to the notion of "data type" in computing theory.)
  • * Types, theory of. V.N. Grishin (originator), Encyclopedia of Mathematics . URL: http://www.encyclopediaofmath.org/index.php?title=Types,_theory_of&oldid=14150
  • Logics of the second and higher orders may be regarded as type -theoretic systems.
    Categorial grammar is like a combination of context-free grammar and types .


    * (grouping based on shared characteristics) category, class, genre, group, kind, sort, tribe * (computing theory) data type * (printing) sort * See also

    Derived terms

    * antitype * archetype * blood type * built-in type * composite type * cotype * ideal type * movable type * normal type * primitive type * structured type * typeface * type-safe * typesetter * typewriter * typography * typology * typology * user-defined type


  • To put text on paper using a typewriter.
  • To enter text or commands into a computer using a keyboard.
  • To determine the blood type of.
  • The doctor ordered the lab to type the patient for a blood transfusion.
  • To represent by a type, model, or symbol beforehand; to prefigure.
  • To furnish an expression or copy of; to represent; to typify.
  • * Tennyson
  • Let us type them now in our own lives.


    * Esperanto: (l)


    * 1000 English basic words ----



  • (logic, mathematics, computer science) The number of arguments or operands a function or operation takes. For a relation, the number of domains in the corresponding Cartesian product.
  • (chemistry, obsolete) Valence.
  • Synonyms

    * (number of arguments) adinity, arity, type, rank