<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">AM</journal-id><journal-title-group><journal-title>Applied Mathematics</journal-title></journal-title-group><issn pub-type="epub">2152-7385</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/am.2015.62029</article-id><article-id pub-id-type="publisher-id">AM-53838</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Idempotent and Regular Elements of the Complete Semigroups of Binary Relations of the Class &amp;sum;&lt;sub&gt;3&lt;/sub&gt;(&lt;i&gt;X&lt;/i&gt;,9)
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>arış</surname><given-names>Albayrak</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Neşet</surname><given-names>Aydın</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>&amp;amp;Ccedil;anakkale Onsekiz Mart University, &amp;amp;Ccedil;anakkale, Turkey</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>balbayrak77@gmail.com(AA)</email>;<email>neseta@comu.edu.tr(NA)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>03</day><month>02</month><year>2015</year></pub-date><volume>06</volume><issue>02</issue><fpage>312</fpage><lpage>318</lpage><history><date date-type="received"><day>13</day>	<month>January</month>	<year>2015</year></date><date date-type="rev-recd"><day>accepted</day>	<month>1</month>	<year>February</year>	</date><date date-type="accepted"><day>5</day>	<month>February</month>	<year>2015</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  In this paper, we take 
  <em>Q</em>
  <sub>16</sub> subsemilattice of 
  <em>D</em> and we will calculate the number of right unit, idempotent and regular elements 
  <em>α</em> of 
  <em>B</em>
  <sub>X</sub> (
  <em>Q</em>
  <sub>16</sub>) satisfied that 
  <em>V</em> (
  <em>D</em>, 
  <em>α</em>) = 
  <em>Q</em>
  <sub>16</sub> for a finite set 
  <em>X</em>. Also we will give a formula for calculate idempotent and regular elements of 
  <em>B</em>
  <sub>X</sub> (
  <em>Q</em>) defined by an 
  <em>X</em>-semilattice of unions 
  <em>D</em>.
 
</p></abstract><kwd-group><kwd>Semilattice</kwd><kwd> Semigroup</kwd><kwd> Binary Relation</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Let X be a nonempty set and B<sub>X</sub> be semigroup of all binary relations on the set X. If D is a nonempty set of subsets of X which is closed under the union then D is called a complete X-semilattice of unions.</p><p>Let f be an arbitrary mapping from X into D. Then one can construct a binary relation <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x6.png" xlink:type="simple"/></inline-formula> on X by</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x7.png" xlink:type="simple"/></inline-formula>. The set of all such binary relations is denoted by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x8.png" xlink:type="simple"/></inline-formula> and called a complete semi- group of binary relations defined by an X-semilattice of unions D.</p><p>We use the notations, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x9.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x10.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x11.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x12.png" xlink:type="simple"/></inline-formula>.</p><p>A representation of a binary relation <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x13.png" xlink:type="simple"/></inline-formula> of the form <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x14.png" xlink:type="simple"/></inline-formula> is called quasinormal. Note that, if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x15.png" xlink:type="simple"/></inline-formula> is a quasinormal representation of the binary relation<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x16.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x17.png" xlink:type="simple"/></inline-formula> for T,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x18.png" xlink:type="simple"/></inline-formula>and.</p><p>A complete X-semilattice of unions D is an XI-semilattice of unions if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x20.png" xlink:type="simple"/></inline-formula> for any <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x21.png" xlink:type="simple"/></inline-formula> and</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x22.png" xlink:type="simple"/></inline-formula>for any nonempty element Z of D.</p><p>Now, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x23.png" xlink:type="simple"/></inline-formula>is said to be right unit if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x24.png" xlink:type="simple"/></inline-formula> for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x25.png" xlink:type="simple"/></inline-formula>. Also, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x26.png" xlink:type="simple"/></inline-formula>is idempotent if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x27.png" xlink:type="simple"/></inline-formula>. And <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x28.png" xlink:type="simple"/></inline-formula> is said to be regular if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x29.png" xlink:type="simple"/></inline-formula> for some<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x30.png" xlink:type="simple"/></inline-formula>.</p><p>Let D', D'' be complete X-semilattices of unions and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x31.png" xlink:type="simple"/></inline-formula> be a one-to-one mapping from D' to D''. A mapping</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x32.png" xlink:type="simple"/></inline-formula>is a complete isomorphism provided <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x33.png" xlink:type="simple"/></inline-formula> for all nonempty subset D<sub>1</sub> of the se-</p><p>milattice D'. Besides that, if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x34.png" xlink:type="simple"/></inline-formula> is a complete isomorphism where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x35.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x36.png" xlink:type="simple"/></inline-formula>for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x37.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x37.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x38.png" xlink:type="simple"/></inline-formula>is said to be a complete <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x37.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x38.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x39.png" xlink:type="simple"/></inline-formula>-isomorphism.</p><p>Let Q and D' be respectively some XI and X-subsemilattices of the complete X-semilattice of unions D. Then</p><disp-formula id="scirp.53838-formula658"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x40.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x41.png" xlink:type="simple"/></inline-formula> complete isomorphism and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x42.png" xlink:type="simple"/></inline-formula>. Besides, let us denote</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x43.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x43.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x44.png" xlink:type="simple"/></inline-formula></p><p>where</p><disp-formula id="scirp.53838-formula659"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x45.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.53838-formula660"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x46.png"  xlink:type="simple"/></disp-formula><p>This structure was comprehensively investigated in Diasamidze [<xref ref-type="bibr" rid="scirp.53838-ref1">1</xref>] .</p><p>Lemma 1. [<xref ref-type="bibr" rid="scirp.53838-ref1">1</xref>] If Q is complete X-semilattice of unions and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x47.png" xlink:type="simple"/></inline-formula> is the set all right units of the semigroup <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x48.png" xlink:type="simple"/></inline-formula> then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x49.png" xlink:type="simple"/></inline-formula>.</p><p>Lemma 2. [<xref ref-type="bibr" rid="scirp.53838-ref2">2</xref>] Let X be a finite set, D be a complete X-semilattice of unions and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x50.png" xlink:type="simple"/></inline-formula> be X-subsemilattice of unions of D satisfies the following conditions</p><disp-formula id="scirp.53838-formula661"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x51.png"  xlink:type="simple"/></disp-formula><p>Q is XI-semilattice of unions.</p><p>Theorem 1. [<xref ref-type="bibr" rid="scirp.53838-ref2">2</xref>] Let X be a finite set and Q be XI-semilattice. If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x52.png" xlink:type="simple"/></inline-formula> is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x53.png" xlink:type="simple"/></inline-formula>-iso- morphic to Q and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x54.png" xlink:type="simple"/></inline-formula>, then</p><disp-formula id="scirp.53838-formula662"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x55.png"  xlink:type="simple"/></disp-formula><p>Theorem 2. [<xref ref-type="bibr" rid="scirp.53838-ref2">2</xref>] Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x56.png" xlink:type="simple"/></inline-formula> be a quasinormal representation of the form <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x57.png" xlink:type="simple"/></inline-formula> such that</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x58.png" xlink:type="simple"/></inline-formula>. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x59.png" xlink:type="simple"/></inline-formula>is a regular iff for some complete <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x60.png" xlink:type="simple"/></inline-formula>-isomorphism<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x61.png" xlink:type="simple"/></inline-formula>, the following conditions are satisfied:</p><disp-formula id="scirp.53838-formula663"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x62.png"  xlink:type="simple"/></disp-formula><p>Let X be a finite set and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x63.png" xlink:type="simple"/></inline-formula> be a complete X-semilattice of unions which satisfies the following conditions</p><disp-formula id="scirp.53838-formula664"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x64.png"  xlink:type="simple"/></disp-formula><p>The diagram of the D is shown in <xref ref-type="fig" rid="fig1">Figure 1</xref>. By the symbol <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x65.png" xlink:type="simple"/></inline-formula> we denote the class of all complete X- semilattice of unions whose every element is isomophic to an X-semilattice of the form D.</p><p>All subsemilattice of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x66.png" xlink:type="simple"/></inline-formula> are given in <xref ref-type="fig" rid="fig2">Figure 2</xref>.</p><p>In Diasamidze [<xref ref-type="bibr" rid="scirp.53838-ref1">1</xref>] , it has shown that subsemilattices 1 - 15 are XI-semilattice of unions and subsemilattices 17 - 24 are not XI-semilattice of unions. In Yeşil Sungur [<xref ref-type="bibr" rid="scirp.53838-ref3">3</xref>] and Albayrak [<xref ref-type="bibr" rid="scirp.53838-ref4">4</xref>] , they have shown that subsemilattices 25 and 26 are XI-semilattice of unions if and only if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x67.png" xlink:type="simple"/></inline-formula>”. Also they found that number of right unit, idempotent and regular elements in subsemilattices.</p><p>In this paper, we take in particular, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x68.png" xlink:type="simple"/></inline-formula>subsemilattice of D. We will calculate the number of right unit, idempotent and regular elements <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x69.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x70.png" xlink:type="simple"/></inline-formula> satisfied that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x71.png" xlink:type="simple"/></inline-formula> for a finite set X. Also we will give a formula for calculate idempotent and regular elements of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x72.png" xlink:type="simple"/></inline-formula> defined by an X-semilattice of unions<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x73.png" xlink:type="simple"/></inline-formula>.</p><fig id="fig1"  position="float"><label><xref ref-type="fig" rid="fig1">Figure 1</xref></label><caption><title> Diagram of D</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/9-7402525x74.png"/></fig></sec><sec id="s2"><title>2. Results</title><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x75.png" xlink:type="simple"/></inline-formula> be complete X-subsemilattice of D satisfies the following conditions</p><disp-formula id="scirp.53838-formula665"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x76.png"  xlink:type="simple"/></disp-formula><p>The diagram of the Q<sub>16</sub> is shown in <xref ref-type="fig" rid="fig3">Figure 3</xref>. From Lemma 2 Q<sub>16</sub> is XI-semilattice of unions.</p><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x77.png" xlink:type="simple"/></inline-formula> denote the set of all XI-subsemilattice of the semilattice D which are isomorphic of the X-semi- lattice Q<sub>16</sub>. Then we get</p><disp-formula id="scirp.53838-formula666"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x78.png"  xlink:type="simple"/></disp-formula><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x79.png" xlink:type="simple"/></inline-formula> be a idempotent element having a quasinormal representation of the form</p><fig id="fig2"  position="float"><label><xref ref-type="fig" rid="fig2">Figure 2</xref></label><caption><title> All subsemilattice of D</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/9-7402525x80.png"/></fig><fig id="fig3"  position="float"><label><xref ref-type="fig" rid="fig3">Figure 3</xref></label><caption><title> The diagram of the Q<sub>16</sub></title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/9-7402525x81.png"/></fig><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x82.png" xlink:type="simple"/></inline-formula>, such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x83.png" xlink:type="simple"/></inline-formula>. First we calculate number of this idempotent elements in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x84.png" xlink:type="simple"/></inline-formula>.</p><p>Lemma 3. If X is a finite set and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x85.png" xlink:type="simple"/></inline-formula> is the set all right units of the semigroup<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x86.png" xlink:type="simple"/></inline-formula>, then the number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x87.png" xlink:type="simple"/></inline-formula> may be calculated by formula:</p><disp-formula id="scirp.53838-formula667"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x88.png"  xlink:type="simple"/></disp-formula><p>Proof. From Lemma 1 we have <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x89.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x90.png" xlink:type="simple"/></inline-formula> is identity mapping of the set Q<sub>16</sub>.</p><p>For this reason <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x91.png" xlink:type="simple"/></inline-formula> in Theorem 1. Then we obtain</p><disp-formula id="scirp.53838-formula668"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x92.png"  xlink:type="simple"/></disp-formula><p>Theorem 3. If X is a finite set and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x94.png" xlink:type="simple"/></inline-formula> is the set all idempotent elements of the semigroup<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x94.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x95.png" xlink:type="simple"/></inline-formula>, then the number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x94.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x96.png" xlink:type="simple"/></inline-formula> may be calculated by formula:</p><disp-formula id="scirp.53838-formula669"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x97.png"  xlink:type="simple"/></disp-formula><p>Proof. By using Lemma 3 we have number of right units of the semigroup <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x98.png" xlink:type="simple"/></inline-formula> defined by</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x99.png" xlink:type="simple"/></inline-formula>for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x99.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x100.png" xlink:type="simple"/></inline-formula>. Then number of idempotent elements of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x99.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x101.png" xlink:type="simple"/></inline-formula> calculated</p><p>by formula<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x102.png" xlink:type="simple"/></inline-formula>. By using</p><disp-formula id="scirp.53838-formula670"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x103.png"  xlink:type="simple"/></disp-formula><p>we obtain above formula. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x104.png" xlink:type="simple"/></inline-formula></p><p>Now we will calculate number of regular elements <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x105.png" xlink:type="simple"/></inline-formula> having a quasinormal representation of the</p><p>form <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x106.png" xlink:type="simple"/></inline-formula> such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x107.png" xlink:type="simple"/></inline-formula>. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x108.png" xlink:type="simple"/></inline-formula> be the set all regular elements of the</p><p>semigroup<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x109.png" xlink:type="simple"/></inline-formula>. By using <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x110.png" xlink:type="simple"/></inline-formula> we get <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x111.png" xlink:type="simple"/></inline-formula>. The number of all automorphisms of the semilattice Q<sub>16</sub> is q = 4. These are</p><disp-formula id="scirp.53838-formula671"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x112.png"  xlink:type="simple"/></disp-formula><p>Then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x113.png" xlink:type="simple"/></inline-formula>. Also by using</p><disp-formula id="scirp.53838-formula672"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x114.png"  xlink:type="simple"/></disp-formula><p>we get<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x115.png" xlink:type="simple"/></inline-formula>.</p><p>Theorem 4. If X is a finite set and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x116.png" xlink:type="simple"/></inline-formula> is the set all regular elements of the semigroup<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x117.png" xlink:type="simple"/></inline-formula>, then the number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x118.png" xlink:type="simple"/></inline-formula> may be calculated by formula:</p><disp-formula id="scirp.53838-formula673"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x119.png"  xlink:type="simple"/></disp-formula><p>Proof. To account for the elements that are in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x120.png" xlink:type="simple"/></inline-formula>, we first subtract out intersection of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x121.png" xlink:type="simple"/></inline-formula>’s. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x122.png" xlink:type="simple"/></inline-formula>. By using Theorem 2 and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x123.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.53838-formula674"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x124.png"  xlink:type="simple"/></disp-formula><p>We get <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x125.png" xlink:type="simple"/></inline-formula> which is a contradiction with<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x126.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x126.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x127.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x126.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x128.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x126.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x129.png" xlink:type="simple"/></inline-formula>are dis- joint sets. Then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x126.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x130.png" xlink:type="simple"/></inline-formula>. Smilarly <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x126.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x131.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x126.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x132.png" xlink:type="simple"/></inline-formula>. Thus we obtain</p><disp-formula id="scirp.53838-formula675"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x133.png"  xlink:type="simple"/></disp-formula><p>From Theorem 1 we get above formula. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x134.png" xlink:type="simple"/></inline-formula></p><p>Corollary 1. If X is a finite set, I<sub>D</sub> is the set all idempotent elements of the semigroup <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x135.png" xlink:type="simple"/></inline-formula> and R<sub>D</sub> is the set all regular elements of the semigroup<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x135.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x136.png" xlink:type="simple"/></inline-formula>, then the number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x135.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x136.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x137.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x135.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x136.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x137.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x138.png" xlink:type="simple"/></inline-formula> may be calculated by formula:</p><disp-formula id="scirp.53838-formula676"><graphic  xlink:href="http://html.scirp.org/file/9-7402525x139.png"  xlink:type="simple"/></disp-formula><p>Proof. Let I<sub>D</sub> be the set of all idempotent elements of the semigroup<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x140.png" xlink:type="simple"/></inline-formula>. Then number of idempotent element of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x140.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x141.png" xlink:type="simple"/></inline-formula> is equal to sum of idempotent elements of the subsemigroup defined by XI-subsemilattice of D. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x140.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x141.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x142.png" xlink:type="simple"/></inline-formula>is given in Diasamidze [<xref ref-type="bibr" rid="scirp.53838-ref1">1</xref>] for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x140.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x141.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x142.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x143.png" xlink:type="simple"/></inline-formula>. From Theorem 3 we have number of idempotent elements of the subsemigroup<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x140.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x141.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x142.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x144.png" xlink:type="simple"/></inline-formula>. Then the number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x140.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x141.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x142.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x144.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x145.png" xlink:type="simple"/></inline-formula> may be calculated by formula</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x146.png" xlink:type="simple"/></inline-formula>. Similarly the number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x146.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x147.png" xlink:type="simple"/></inline-formula> may be calculated by formula<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x146.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x147.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x148.png" xlink:type="simple"/></inline-formula>. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x146.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x147.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x148.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/9-7402525x149.png" xlink:type="simple"/></inline-formula></p></sec></body><back><ref-list><title>References</title><ref id="scirp.53838-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Diasamidze, Ya. and Makharadze, Sh. (2013) Complete Semigroups of Binary Relations. Kriter Yay&amp;#49;nevi, Istanbul, 524 p.</mixed-citation></ref><ref id="scirp.53838-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Albayrak, B., Aydin, N. and Diasamidze, Ya. (2013) Reguler Elements of the Complete Semigroups of Binary Relations of the Class &amp;sum;&lt;sub&gt;7&lt;/sub&gt;(&lt;i&gt;X&lt;/i&gt;,8). International Journal of Pure and Applied Mathematics, 86, 199-216.  
http://dx.doi.org/10.12732/ijpam.v86i1.13</mixed-citation></ref><ref id="scirp.53838-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Yesil Sungur, D. and Aydin, N. (2014) Reguler Elements of the Complete Semigroups of Binary Relations of the Class &amp;sum;&lt;sub&gt;8&lt;/sub&gt;(&lt;i&gt;X&lt;/i&gt;,7). General Mathematics Notes, 21, 27-42.</mixed-citation></ref><ref id="scirp.53838-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Albayrak, B., Aydin, N. and Yesil Sungur, D. (2014) Regular Elements of Semigroups   Defined by the Generalized X-Semilattice. General Mathematics Notes, 23, 96-107.</mixed-citation></ref></ref-list></back></article>