Finitary Predicate Transformers. The categorical results so far for healthiness (Theorem 4.8 and 4.10) x∈X p(x) = Σ Σе (Φ)(x) = D=1ƒ (p)(y) = 1, and p(x) = 0 for all but finitely many x ∈ X}; Σ
Finitary Predicate Transformers Sample Clauses
Related to Finitary Predicate Transformers
Loop Provisioning Involving Integrated Digital Loop Carriers 2.6.1 Where InterGlobe has requested an Unbundled Loop and BellSouth uses IDLC systems to provide the local service to the End User and BellSouth has a suitable alternate facility available, BellSouth will make such alternative facilities available to InterGlobe. If a suitable alternative facility is not available, then to the extent it is technically feasible, BellSouth will implement one of the following alternative arrangements for InterGlobe (e.g. hairpinning):
Tandem Transit Traffic 12.1 As used in this Section, Tandem Transit Traffic is Telephone Exchange Service traffic that originates on CBB's network, and is transported through Verizon’s Tandem to the subtending End Office or its equivalent of another carrier (CLEC, ILEC other than Verizon, Commercial Mobile Radio Service (CMRS) carrier, or other LEC (“Other Carrier”). Neither the originating nor terminating customer is a Customer of Verizon. Subtending End Offices shall be determined in accordance with and as identified in the Local Exchange Routing Guide (LERG). Switched Exchange Access Service traffic is not Tandem Transit Traffic.
Local Circuit Switching Capability, including Tandem Switching Capability 4.2.1 Local circuit switching capability is defined as: (A) line-side facilities, which include, but are not limited to, the connection between a loop termination at a main distribution frame and a switch line card; (B) trunk-side facilities, which include, but are not limited to, the connection between trunk termination at a trunk-side cross-connect panel and a switch trunk card; (C) switching provided by remote switching modules; and (D) all features, functions, and capabilities of the switch, which include, but are not limited to: (1) the basic switching function of connecting lines to lines, line to trunks, trunks to lines, and trunks to trunks, as well as the same basic capabilities made available to BellSouth’s customers, such as a telephone number, white page listings, and dial tone; and (2) all other features that the switch is capable of providing, including but not limited to customer calling, customer local area signaling service features, and Centrex, as well as any technically feasible customized routing functions provided by the switch. Any features that are not currently available but are technically feasible through the switch can be requested through the BFR/NBR process.
Alternate Traffic Routing If CLEC has a LIS arrangement which provides two (2) paths to a CenturyLink End Office Switch (one (1) route via a Tandem Switch and one (1) direct route), CLEC may elect to utilize alternate traffic routing. CLEC traffic will be offered first to the direct trunk group (also referred to as the "primary high" route) and then overflow to the Tandem Switch group (also referred to as the "alternate final" route) for completion to CenturyLink End Office Switches.
Global Access Transport Charges (U S. Bridged): Per-minute per-bridge port usage charges, based on availability of service, zone and origination access type. Bridging charges are additional and are priced at Customer's applicable Toll Meet Meet-Me Access rate per minute. Freephone (IFN) Transport Zone A – G. Discounts:
Signaling Link Transport 9.2.1 Signaling Link Transport is a set of two or four dedicated 56 kbps transmission paths between Global Connection-designated Signaling Points of Interconnection that provide appropriate physical diversity.
Built-up Area The built-up area for the Designated Apartment or any other Unit shall mean the Carpet Area of such Unit and Balcony area and 50% (fifty percent) of the area covered by those external walls which are common between such Unit/Balcony and any other Unit/Balcony and the area covered by all other external walls of the such Unit/Balcony.
Generator Subject to the provisions of this Section 29.36, Tenant shall be entitled to install, operate and maintain a generator and any other equipment related thereto, including, without limitation, a fuel system, wiring and shaft space (“Generator”) next to the Building at Tenant’s sole cost and expense (without paying any additional fee or rental to Landlord for the use thereof). Prior to the installation of the Generator, Tenant shall inspect the proposed location to determine a suitable location for the Generator, and Tenant shall submit written plans and specifications relative to the type, size and proposed location (including any proposed screening) of the Generator to Landlord for its review and written approval. Tenant shall be solely responsible for the cost of acquisition, installation, operation, and maintenance of the Generator; and Tenant shall install, maintain and operate the Generator in accordance with all federal, state, and local laws, statutes, ordinances, rules and regulations, including without limitation, obtaining and maintaining any and all permits, approvals and licenses required to install and operate the Generator by any governmental authority having jurisdiction. Landlord and Tenant agree that, upon the expiration of earlier termination of the Lease Term, Tenant shall not be required to remove the Generator, any associated cabling, wiring and screening or other improvements. Tenant shall not be entitled to grant or assign to any third party (other than a permitted assignee of Tenant’s rights under the Lease or a permitted subtenant relative to the Premises (or a portion thereof)) the right to use the Generator without Landlord’s prior written consent (which consent may be granted or withheld in Landlord’s discretion). Upon reasonable advance notice to Tenant (and provided Landlord reasonably coordinates with Tenant and provides an alternate source of backup generator capacity during said transition), Landlord shall be entitled to cause the Generator to be moved to another location near the Building, at Landlord’s cost and expense. Tenant shall pay all personal property taxes on the Generator. Tenant shall also pay any increases in the real property taxes of the Building due to the installation of the Generator within thirty (30) days of receipt of notice from Landlord which includes proof of such increase in taxes. Tenant’s indemnity obligations under Section 5.4.1.5 of the Lease, relating to the use of Hazardous Materials, shall apply to the use and operation of the Generator. Finally, Tenant’s insurance obligations under Section 10.3 of the Lease shall apply to the Generator.
GARBAGE DISPOSAL, RECYCLING, AND BIODEGRADABLE MATERIALS A. Concessionaire shall be responsible for maintaining the cleanliness of the Concession Premises. Concessionaire shall ensure placement of all garbage and trash generated by the Concession Operation in designated containers and that said containers are emptied daily, or as more frequently required by Department, at a location within the Area designated by Department. Disposal costs from this latter location shall be borne by Department. Concessionaire shall provide such additional trash containers as may be required to keep the immediate Concession Premises clean at all times. The type of trash containers provided by Concessionaire shall be approved by Department prior to use.
Required Coverages For Generation Resources Of 20 Megawatts Or Less Each Constructing Entity shall maintain the types of insurance as described in section 11.1 paragraphs (a) through (e) above in an amount sufficient to insure against all reasonably foreseeable direct liabilities given the size and nature of the generating equipment being interconnected, the interconnection itself, and the characteristics of the system to which the interconnection is made. Additional insurance may be required by the Interconnection Customer, as a function of owning and operating a Generating Facility. All insurance shall be procured from insurance companies rated “A-,” VII or better by AM Best and authorized to do business in a state or states in which the Interconnection Facilities are located. Failure to maintain required insurance shall be a Breach of the Interconnection Construction Service Agreement.
