Cooperative positioning using angle of arrival and time of arrival

(1)

This is a repository copy of

Cooperative positioning using angle of arrival and time of

arrival

.

White Rose Research Online URL for this paper:

http://eprints.whiterose.ac.uk/84060/

Version: Accepted Version

Proceedings Paper:

Khan, MW, Salman, N and Kemp, AH (2014) Cooperative positioning using angle of arrival

and time of arrival. In: Sensor Signal Processing for Defence SSPD Conference 2014.

Sensor Signal Processing for Defence 2014, 08-09 Sep 2014, Edinburgh, UK. Institute of

Electrical and Electronics Engineers , 1 - 5. ISBN 978-1-4799-5293-9

https://doi.org/10.1109/SSPD.2014.6943331

[email protected] https://eprints.whiterose.ac.uk/

Reuse

Unless indicated otherwise, fulltext items are protected by copyright with all rights reserved. The copyright exception in section 29 of the Copyright, Designs and Patents Act 1988 allows the making of a single copy solely for the purpose of non-commercial research or private study within the limits of fair dealing. The publisher or other rights-holder may allow further reproduction and re-use of this version - refer to the White Rose Research Online record for this item. Where records identify the publisher as the copyright holder, users can verify any specific terms of use on the publisher’s website.

Takedown

If you consider content in White Rose Research Online to be in breach of UK law, please notify us by

(2)

⇑±±°≈→↵←•♠≈ ∠±↑•←•±″•″≠ ⊄↑•″≠ ⇓″≠×≈ ±≡ ⇓→→•♠↵× ↵″…

⊂•≥≈ ±≡ ⇓→→•♠↵×

∫ ⊃∫ ∏÷↵″

⊆←↔…≈″← ≈≥≈→ ⋅⇔⇔⇔

↵♠≈≈… ⊆↵×≥↵″

⊆←↔…≈″← ≈≥≈→ ⋅⇔⇔⇔

↵″… ⇓∫ ¬∫ ∏≈≥°

≈≥≈→ ⋅⇔⇔⇔

⊆÷±±× ±≡ ⇔×≈←→±″• ↵″… ⇔×≈←→•↵× ⇔″≠•″≈≈→•″≠ ⊄″•♠≈→↑•←♣ ±≡ ≈≈…↑ ⊄∫∏∫ ≈⌠≥↵•× ∞≈×≥♥∝ ≈×″↑ ↵∫÷∫∝≈≥°≤◊×≈≈…↑∫↵∫↔∝∫

⇓↑←→↵←Ô±½¿´·¦¿¬·±² ¸¿ ¾»»² ±²» ±º ¬¸» ³±¬ ¸·¹¸´§ ®»ó

↑≈↵→÷≈… ←±°•↑ •″ ♥•→≈×≈↑↑ ±≥≥↔″•↵←•±″↑ •″ ←÷≈ °↵↑← …≈↵…≈∫ ±↵×•ƒ↵←•±″ ±≡ ♥•→≈×≈↑↑ ″±…≈↑ ↵″ ≈ ↵÷•≈♠≈… ↔↑•″≠ ↵ ♠↵→•≈←♣ ±≡ ←≈÷″•↓↔≈↑ •″ ♥÷•÷ →↵″≠≈ ≥≈↵↑↔→≈≥≈″← ↵″… ↵″≠×≈ ≥≈↵↑↔→≈≥≈″← ↵→≈ ≥±↑← ±≥≥±″×♣ ↔↑≈…∫ ⋅″ ←÷≈ °→≈↑≈″≈ ±≡ ±←÷ ↵″≠×≈ ↵″… →↵″≠≈ ≥≈↵↑↔→≈≥≈″← ↵ ÷♣→•… ≥±…≈× ↵″ ≈ …≈♠≈×±°≈…∫ ⋅″ ←÷•↑ °↵°≈→ ♥≈ ↵″↵×♣ƒ≈ ↵ ÷♣→•… ↵″≠×≈ ±≡ ↵→→•♠↵×⌠←•≥≈ ±≡ ↵→→•♠↵× ⇓±⇓⌠⊂±⇓

←± →≈≥±♠≈ ←÷≈ •↵↑ ≡→±≥ ←÷≈ ≈↑←•≥↵←≈… °±↑•←•±″↑∫ ⊃≈ ↵×↑± ≈♦°×±→≈ ←÷≈ •…≈↵ ±≡ ±±°≈→↵←•♠≈ ×±↵×•ƒ↵←•±″ ↔↑•″≠ ±←÷ ↵″≠×≈ ↵″… →↵″≠≈ ≥≈↵↑↔→≈≥≈″←↑ ↵″… …≈♠≈×±° ↵ ×•″≈↵→ ×≈↵↑← ↑↓↔↵→≈↑ ⊆ ↑÷≈≥≈∫

↵″… ←÷↵← ←÷≈ °≈→≡±→≥↵″≈ ±≡ ←÷≈ °→±°±↑≈… ±±°≈→↵←•♠≈ ⊆ •↑ ↑↔°≈→•±→ ←± •←↑ ″±″⌠±±°≈→↵←•♠≈ ±↔″←≈→°↵→←∫

⋅″…≈♦ ⊂≈→≥↑¸§¾®·¼ ´±½¿´·¦¿¬·±²ô ¿²¹´» ±º ¿®®·ª¿´ô ¬·³» ±º

↵→→•♠↵× ±±°≈→↵←•♠≈ ×±↵×•ƒ↵←•±″∫

⋅∫ ⋅⊂∈∇⇐⊄⇑⊂⋅∇

∇

⇔ ±≡ ←÷≈ ≥↵∂±→ ↵°°×•↵←•±″ ↵→≈↵ ±≡ ♥•→≈×≈↑↑ ±≥≥↔″•⌠ ↵←•±″↑ •↑ ×±↵×•ƒ↵←•±″ ±≡ ♥•→≈×≈↑↑ ″±…≈↑∫ ⇐≈♠≈×±°≥≈″← ±≡ ×±♥ ±↑← ↵″… ↵↔→↵←≈ ×±↵×•ƒ↵←•±″ ↑♣↑←≈≥ ÷↵↑ ≈≈″ ↵ °→•≥≈ →≈↑≈↵→÷ ←±°• •″ ←÷≈ ×↵↑← ≡≈♥ ♣≈↵→↑∫ ∠→≈♠•±↔↑×♣ ×±↵×•ƒ↵←•±″ ↑♣↑←≈≥↑ ♥≈→≈ ±″×♣ ↔↑≈… ≡±→ ≥•×•←↵→♣ °↔→°±↑≈↑ ≈∫≠∫ ↵•→→↵≡← …≈←≈←•±″⊗×±↵×•ƒ↵←•±″∫ ⊃•←÷ ←÷≈ ↵…♠≈″← ±≡ ″≈♥ ←≈÷″±×±≠•≈↑ ←÷≈

≥↵♣ •″×↔…≈ ×±≠•↑←•↑ ≥•×•←↵→♣ ↵″… ↑↔→♠≈•××↵″≈ ↵°°×•↵←•±″↑ ⊕℘∫ ⇐•≡≡≈→≈″← ↵×≠±→•←÷≥↑ ↵″… ←≈÷″•↓↔≈↑ ↵→≈ °→±°±↑≈… ♣ →≈⌠ ↑≈↵→÷≈→↑ ←± •≥°→±♠≈ ←÷≈ ↵↔→↵♣ ↵″… …≈→≈↵↑≈ ←÷≈ ±≥°×≈♦•←♣ ±≡ ×±↵×•ƒ↵←•±″ ↑♣↑←≈≥↑ ⊕℘ ⊕℘∫ ±↵×•ƒ↵←•±″ ↵″ ≈ →↵″≠≈ ↵↑≈… ±→ •← ↵″ ≈ ↵↑≈… ±″ ←÷≈ ↵″≠×≈ ±≡ ↵→→•♠↵× ⇓±⇓ ±≡ ←÷≈ •≥°•″≠•″≠ ↑•≠″↵×∫ ⊂♥± ≥↵•″ ←≈÷″•↓↔≈↑ ←± ≈↑←•≥↵←≈ ←÷≈ →↵″≠≈ ≈←♥≈≈″ ″±…≈↑ ↵→≈ ←•≥≈ ±≡ ↵→→•♠↵× ⊂±⇓ ←÷↵← ↔←•×•ƒ≈↑ ←÷≈ …≈×↵♣ →≈↓↔•→≈… ≡±→ ←÷≈ ↑•≠″↵× ←± °→±°↵≠↵←≈ ≡→±≥ ±″≈ ″±…≈ ←± ↵″±←÷≈→ ↵″… →≈≈•♠≈… ↑•≠″↵× ↑←→≈″≠←÷ ∈⊆⊆ ←÷↵← •↑ ↵↑≈… ±″ ←÷≈ °±♥≈→ …•↑↑•°↵←•±″ ±≡ ←÷≈ ↑•≠″↵× ↵↑ •← ←→↵♠≈× ←÷→±↔≠÷ ←÷≈ ÷↵″″≈×∫ ∨±→ ±←÷ ±≡ ←÷≈↑≈ ←≈÷″•↓↔≈↑ ←÷≈ ×±↵×•ƒ↵←•±″ °→±×≈≥ ↵″ ≈ ↑±×♠≈… ↔↑•″≠ ÷•≠÷ ±≥°×≈♦•←♣ ≥↵♦•≥↔≥ ×•∝≈×•÷±±… ←≈÷″•↓↔≈↑ ⊕℘ ⊕℘∫ ⇓ ×±♥ ±≥°×≈♦•←♣ ×•″≈↵→ ×≈↵↑← ↑↓↔↵→≈↑ ⊆ ↵°°→±↵÷ ÷↵↑ ↵×↑± ≈≈″ °→±°±↑≈… ≡±→ ⊂±⇓ ↑♣↑←≈≥↑ ⊕℘ •←↑ °≈→≡±→≥↵″≈ •↑ ↵″↵×♣ƒ≈… ↵″… ≈″÷↵″≈… •″ ⊕℘∫ ⊂÷≈ ↵″≠×≈ ±≡ ↵→→•♠↵× ↵″ ≈ ≈↑←•≥↵←≈… ↔↑•″≠ ↵″ ↵→→↵♣ ±≡ ↵″←≈″″↵↑ ⊕℘ ±→ ↵ →±←↵←•″≠ ≈↵≥ ±≡ →↵…•↵←•±″ ⊕℘ ↵″… ←≈÷″•↓↔≈↑ ×•∝≈ ≥↔×←•°×≈

°↵→↵≥≈←≈→↑ ♠•↵ →±←↵←•±″↵× •″♠↵→•↵″← ←≈÷″•↓↔≈↑ ⇔⊆∠∈⋅⊂ ⊕℘ ↵→≈ ↔↑≈… ≡±→ ↵″≠×≈ ≈↑←•≥↵←•±″∫ ±↵×•ƒ↵←•±″ ↵″ ↵×↑± ≈ ×↵↑↑≈… ↵↑ ″±″⌠±±°≈→↵←•♠≈ ⊕℘ •″ ♥÷•÷ ±″×♣ ←÷≈ ↵″÷±→ ″±…≈↑ ⇓↑ ↵→≈ ↔↑≈… ←± ×±↵×•ƒ≈ ←↵→≠≈← ″±…≈↑ ⊂↑ ±→ ±±°≈→↵←•♠≈ ⊕℘ •″

♥÷•÷ ↵×× ←÷≈ ″±…≈↑ ↵→≈ ↔↑≈… ≡±→ ×±↵×•ƒ↵←•±″∫ ∇→ •← ↵″ ≈ ×↵↑↑≈… ↵↑ ≈″←→↵×•ƒ≈… •″ ♥÷•÷ ↵×× ←÷≈ …↵←↵ •↑ ←→↵″↑≡≈→→≈… ↵″… °→±≈↑↑≈… ↵← ↵ ↵↑≈ ↑←↵←•±″ ⇒ ±→ …•↑←→•↔←≈… •″ ♥÷•÷ ←÷≈ °→±≈↑↑•″≠ •↑ …±″≈ ↵← ″±…≈ ×≈♠≈×∫

∠±↑•←•±″•″≠ ↔↑•″≠ ⇓±⇓ ⊂±⇓ ±→ ∈⊆⊆ ≈↵÷ ÷↵♠≈ ←÷≈•→ ±♥″ ↵…♠↵″←↵≠≈↑ ↵″… …•↑↵…♠↵″←↵≠≈↑∫ ∨±→ ≈♦↵≥°×≈ °±↑•←•±″•″≠ ♥•←÷ ∈⊆⊆ •↑ ←÷≈ ÷≈↵°≈↑← ↵″… ×≈↵↑← ±≥°×≈♦ ≡±→≥ ±≡ ×±↵×•ƒ↵⌠ ←•±″ ÷±♥≈♠≈→ ←÷≈ ↑♣↑←≈≥ ↑↔≡≡≈→↑ ≡→±≥ °≈→≡±→≥↵″≈ •↑↑↔≈↑ •″ ÷•≠÷×♣ ×↔←←≈→≈… ″≈←♥±→∝↑∫ ∠±↑•←•±″•″≠ ♠•↵ ⊂±⇓ ↑÷±♥↑ ≠±±… °≈→≡±→≥↵″≈ ÷±♥≈♠≈→ •″ ±→…≈→ ←± ↵÷•≈♠≈ ←÷•↑ ↵↔→↵♣ ≈♠≈→♣ ″±…≈ •″ ←÷≈ ″≈←♥±→∝ ≥↔↑← ≈ ≈↓↔•°°≈… ♥•←÷ ↵ ↑♣″÷→±″•ƒ≈… ×±∝ ♥÷•÷ ↵……↑ ←± ←÷≈ ±↑← ↵″… ±≥°×≈♦•←♣ ±≡ ←÷≈ ↑♣↑←≈≥∫ ∇″ ←÷≈ ±←÷≈→ ÷↵″… ×±↵×•ƒ↵←•±″ ←÷↵← ↔←•×•ƒ≈↑ ←÷≈ ↵″≠×≈ ±≡ ←÷≈ •″±≥•″≠ ↑•≠″↵× °≈→≡±→≥↑ ♥≈×× •″ ↑≥↵×× ″≈←♥±→∝↑ ↔← ←÷≈

←÷≈ ⇓↑∫ ⇓×↑± •″ ±→…≈→ ←± ≥≈↵↑↔→≈ ←÷≈ ↵″≠×≈ ↵← ♥÷•÷ ←÷≈ ↑•≠″↵× •↑ ±≥•″≠ ←÷≈ ″±…≈↑ ≥↔↑← ≈ ≈↓↔•°°≈… ♥•←÷ ↵″ ↵→→↵♣ ±≡ ↵″←≈″″↵↑ ±→ ↵ →±←↵←•″≠ …•→≈←•±″↵× ↵″←≈″″↵ ♥÷•÷ ↵……↑ ←± ←÷≈ ±↑← ↵″… ↑•ƒ≈ ±≡ ←÷≈ ″±…≈↑∫ ⇓ ″≈♥ ←→≈″… •↑ ←± ↔↑≈ ↵×× ←÷≈ ↵♠↵•×↵×≈ •″≡±→≥↵←•±″ ÷≈″≈ →≈↑≈↵→÷≈→↑ ↵→≈ ↵×↑± ♥±→∝•″≠ ±″ ÷♣→•… ↑♣↑←≈≥↑ ←÷↵← ±≥•″≈ ←♥± ±→ ≥±→≈ ±≡ ←÷≈↑≈ ←≈÷″•↓↔≈↑ ←± ≥↵∝≈ ±″≈ →±↔↑← ↵″… ↵↔→↵←≈ ↑♣↑←≈≥∫

⇓″±←÷≈→ ←→≈″… •↑ ←± ↔↑≈ ±±°≈→↵←•±″ ≈←♥≈≈″ ⊂↑ ↵×±″≠ ♥•←÷ ⇓↑∫ ⇑±±°≈→↵←•♠≈ ×±↵×•ƒ↵←•±″ ↑÷±♥↑ ≥↔÷ ≈←←≈→ °≈→⌠ ≡±→≥↵″≈ ♥÷≈″ ±≥°↵→≈… ←± ←÷≈ ″±″⌠±±°≈→↵←•♠≈ ↑÷≈≥≈↑ ÷±♥≈♠≈→ ←÷≈ ⊂↑ ↔↑≈… •″ ←÷≈↑≈ ″≈←♥±→∝↑ ≥↔↑← ÷↵♠≈ ↑↔↑←↵″←•↵× °→±≈↑↑•″≠ °±♥≈→∫ ⋅″ ⊕℘ ←÷≈ ↵↔←÷±→ °→±°±↑≈ ↵ ±±°≈→↵←•♠≈ ↑÷≈≥≈ ↔↑•″≠ ≥≈←→• ≥↔×←•…•≥≈″↑•±″↵× ↑↵×•″≠ ⇐⊆∫ ⇓ ″±″⌠ ≥≈←→• ⇐⊆ ↵°°→±↵÷ •↑ °→≈↑≈″←≈… •″ ⊕℘∫ ∠≈→≡±→≥↵″≈ ±≡ ×±↵←•±″ ≈↑←•≥↵←•±″ ♠•↵ ⇐⊆ •↑ •≥°→±♠≈… •″ ⊕℘∫ ∇←↵•″•″≠ ⇐⊆ ↑±×↔←•±″ ≡±→ ×±↵×•ƒ↵←•±″ ±≡ ♥•→≈×≈↑↑ ″±…≈↑ ±″↑•↑← ±≡ ←÷≈ ↑°≈←→↵× …≈±≥°±↑•←•±″ ±≡ ↵ …±↔×♣ ≈″←≈→≈… …•↑←↵″≈ ≥↵←→•♦ ♥÷•÷ •↑ ±≥°↔←↵←•±″↵××♣ •″←≈″↑•♠≈∫ ⊂± ↵♠±•… ←÷•↑ ↑°≈←→↵× …≈±≥°±↑•←•±″ ←÷≈ ↵↔←÷±→↑ •″ ⊕℘ °→±°±↑≈ ↵″ •←≈→↵←•♠≈ ↑÷≈≥≈ ≡±→ ×±↵×•ƒ↵←•±″ ↵××≈… ↑↵×•″≠ ♣ ≥↵∂±→•ƒ•″≠ ↵ ±≥°×•↵←≈… ≡↔″←•±″ ⊆⇓⇑∇∨∫ ∇″≈ ±≡ ←÷≈ ≥↵•″ °→±×≈≥↑ •″ ±±°≈→↵←•♠≈ ×±↵×•ƒ↵←•±″ •↑ ″±•↑≈ °→±°↵≠↵←•±″ •∫≈∫ ″±•↑≈ •″ ±″≈ ″±…≈ ♥•×× ↵…… ←± ←÷≈ ″±•↑≈ •″ ±←÷≈→ ″±…≈∫ ⋅″ ⊕℘ ←÷≈ ↵↔←÷±→ °→±°±↑≈… ↵″ ≈→→±→ °→±°↵≠↵←•±″ ↵♥↵→≈ ↵×≠±→•←÷≥ •″ ♥÷•÷ ±″×♣ ←÷≈ ″±…≈↑ ♥•←÷ ×±♥ ″±•↑≈ •″ ←÷≈•→ ±≥≥↔″•↵←•±″ ×•″∝↑ ↵→≈ ↔↑≈… •″ ↵ °≈≈→⌠←±⌠°≈≈→ ≥↵″″≈→∫ ⋅″ ⊕℘ ↵ ±±°≈→↵←•♠≈ →↵″≠≈ ≡→≈≈ ↵×≠±→•←÷≥ •↑ °→±°±↑≈… ♥÷•÷ ←↵∝≈↑ •″←± ↵±↔″← ↵″ ↵°°→±♦•≥↵←≈… …•↑←↵″≈ ≈←♥≈≈″ ←♥± ″±…≈↑ →↵←÷≈→ ←÷↵″ ↵ ≥≈←→• …•↑←↵″≈∫ ⊂÷•↑ ↵°°→±♦•≥↵←≈… …•↑←↵″≈ …≈°≈″…↑ ↔°±″ ″±…≈ …≈″↑•←♣ ±≡ ←÷≈ ″≈←♥±→∝ ↵″… ÷≈″≈ ♥•×× ″±← ♥±→∝ •″ ↑°↵→↑≈ ″≈←♥±→∝↑∫

(3)

←÷≈ ↑♣↑←≈≥ ↔″•↵↑≈…∫ ⊂÷≈ °↵°≈→ ↵×↑± ≈♦°×±→≈↑ ←÷≈ •…≈↵ ±≡ ±±°≈→↵←•♠≈ ÷♣→•… ⇓±⇓⌠⊂±⇓ ×±↵×•ƒ↵←•±″∫ ⊇•↵ ↑•≥↔×↵←•±″ •←

←÷↵← ←÷≈ ±±°≈→↵←•♠≈ ×±↵←•±″ ≈↑←•≥↵←•±″ ±↔←°≈→≡±→≥↑ ←÷≈ ″±″⌠ ±±°≈→↵←•♠≈ ≥±…≈×∫

⊂÷≈ →≈↑← ±≡ ←÷≈ °↵°≈→ •↑ ±→≠↵″•ƒ≈… ↵↑ ≡±××±♥↑∫ ⋅″ ↑≈←•±″ ⋅⋅ ←÷≈ ÷♣→•… ⇓±⇓⌠⊂±⇓ ≥±…≈× •↑ →≈♠•≈♥≈… ↵″… ←÷≈ •↵↑ ±≡

≥±…≈× •↑ ↵×↑± °→≈↑≈″←≈…∫ ⋅″ ↑≈←•±″ ⋅⋅⋅ ♥≈ …≈♠≈×±° ↵ ×•″≈↵→ ×≈↵↑← ↑↓↔↵→≈↑ ±±°≈→↵←•♠≈ ×±↵×•ƒ↵←•±″ ←≈÷″•↓↔≈∫ ⊆≈←•±″ ⋅⊇ °→≈↑≈″←↑ ←÷≈ ↑•≥↔×↵←•±″ →≈↑↔×←↑∫ ∨↔←↔→≈ ♥±→∝ ↵″… ←÷≈ ±″×↔↑•±″ •↑ °→≈↑≈″←≈… •″ ↑≈←•±″ ⊇ ±≡ ←÷≈ °↵°≈→∫

⋅⋅∫ ⊂¬⇔¬∩⇒∈⋅⇐∇⇐⇔

∈″ _•↑

←÷≈ ↑≈← ±≡ ″ …•≥≈″↑•±″↵× →≈↵× ″↔≥≈→↑∫ ⊂ _{→≈°→≈↑≈″←↑ ←÷≈}

←→↵″↑°±↑≈ ±°≈→↵←±→∫ ⇔ →≈≡≈→↑ ←± ←÷≈ ≈♦°≈←↵←•±″ ±°≈→↵←•±″∫

⊂•∂ →≈≡≈→↑ ←± ←÷≈ ≈×≈≥≈″← ↵← ←÷≈ •←÷ →±♥ ↵″… ∂←÷ ±×↔≥″

±≡ ≥↵←→•♦ ⊂∫  _ _{…≈″±←≈↑ ←÷≈ ″±→≥↵× …•↑←→•↔←•±″ ♥•←÷} ≥≈↵″ ↵″… ♠↵→•↵″≈ _∫

⋅≡ ±←÷ →↵″≠≈ ↵″… ↵″≠×≈ ≥≈↵↑↔→≈≥≈″←↑ ↵→≈ ↵♠↵•×↵×≈ ←÷≈″ ⊂ ±±→…•″↵←≈↑ ↵″ ≈ ≈↑←•≥↵←≈… ♥•←÷ ±″×♣ ±″≈ ⇓∫ ¬±♥≈♠≈→ ←± •≥°→±♠≈ ≈↑←•≥↵←•±″ ↵↔→↵♣ ≥±→≈ ⇓↑ ↵″ ≈ •″←→±…↔≈… ←± ←÷≈ ↑♣↑←≈≥∫ ⋅″ ⊕℘ ←÷≈ ↵↔←÷±→ °→±°±↑≈↑ ↵ ÷♣→•… ×±↵←•±″ ↑♣↑←≈≥ ←÷↵← ↔←•×•ƒ≈↑ ±←÷ →↵″≠≈ ↵″… ↵″≠×≈ ±≡ ←÷≈ →≈≈•♠≈… ↑•≠″↵×∫ ¬±♥≈♠≈→ ←÷≈ ↑♣↑←≈≥ °→±…↔≈↑ •↵↑≈… ≈↑←•≥↵←≈↑ ↵″… ←÷≈→≈ •↑ ″± ±±°≈→↵←•±″ ≈←♥≈≈″ ←÷≈ ⊂↑∫ ⋅″ ←÷•↑ ↑≈←•±″ ↵ ÷♣→•… ⇓±⇓⌠ ⊂±⇓ ←≈÷″•↓↔≈ •↑ …≈♠≈×±°≈…∫

⇑±″↑•…≈→ ↵ ″≈←♥±→∝ ±≡ ⇓↑ ♥÷≈→≈ ♦• ♣• ↵→≈ ←÷≈

±±→…•″↵←≈↑ ±≡ •←÷ _{⇓∫ ≈←} ℜ

• ↵″……ℜ• ≈ ←÷≈ ≥≈↵↑↔→≈… ↵″≠×≈

↵″… …•↑←↵″≈ ≈←♥≈≈″•←÷ _{⇓ ↵″… ←÷≈ ⊂ ↵″… ↵→≈ ≠•♠≈″ ♣}

ℜ

…•…•⌡″•∑

♥÷≈→≈

…• ♦ ♦•⌡ ♣ ♣•∑

↵″…

ℜ_•_ _•_⌡_≥_•_∑

♥÷≈→≈

• ↵→←↵″

♣ ♣•

♦ ♦•



″• ↵″… ≥• →≈°→≈↑≈″←↑ ←÷≈ ƒ≈→± ≥≈↵″ ∧↵↔↑↑•↵″ ″±•↑≈ •″ ←÷≈

≈↑←•≥↵←≈ ±≡ …•↑←↵″≈ ↵″… ↵″≠×≈ ♥•←÷ ←÷≈ •←÷ _{⇓ •∫≈∫} _″ •

 ð 

″• ↵″…≥•  ð



≥• ∫

⊂÷≈″ ←÷≈ ♦ ↵″… ♣ ±±→…•″↵←≈ ±≡ ←÷≈ ←↵→≠≈← ″±…≈ ↵″ ≈ ≈↑←•≥↵←≈… ↵↑

ℜ

♦ ♦•⌡ ℜ…•±↑ ℜ• ≡±→• ∑    ∑  

ℜ

♣ ♣•⌡ ℜ…•↑•″ ℜ• ≡±→• ∑    ∑  

 ↵″…  ↵″ ≈ ♥→•←←≈″ •″ ≥↵←→•♦ ≡±→≥ ↵↑

ℜ

↔_¬⇓_¬ ℜ°_¬∑

♥÷≈→≈

ℜ

↔_¬ ♦ ♣ ⊂∑

⇓_¬ …•↵≠ ≈∑≈∑

♥÷≈→≈ ≈•↑ ↵ ±×↔≥″ ≥↵←→•♦ ±≡ ±″≈↑ ↵″…

ℜ

°_¬ °ℜ♦ °ℜ♣ ⊂

∑

♥÷≈→≈ °ℜ♦  ♦_⌡ ℜ…_±↑ ℜ_∑ ∑ ♦⌡ ℜ…±↑ ℜ ⊂

↵″…

ℜ

°♣ ♣⌡ ℜ…↑•″ ℜ∑ ∑ ♣⌡ ℜ…↑•″ ℜ ⊂



⊂÷≈ ⊆ ↑±×↔←•±″ ≡±→ ←÷•↑ ↑♣↑←≈≥ •↑ ≠•♠≈″ ♣

ℜ

↔_¬⇓♣_¬°ℜ_¬∑

♥÷≈→≈ ⇓♣_¬ · ¬¸» Ó±±®»Ð»²®±» °»«¼± ·²ª»®» ±º ³¿¬®·¨ ⇓_¬ ↵″… •↑ ≠•♠≈″ ♣

⇓♣_¬ ⇓⊂_¬⇓_¬ ⇓⊂_¬

⇓∫ ⇒•↵↑ ⋅″ ←÷≈ ¬♣→•… ±…≈×

⊂÷≈ •↵↑ ±≡ ←÷≈ ⊆ ≈↑←•≥↵←±→ •↑ ≠•♠≈″ ♣

⇒•↵↑ ⇓♣ ∑ 

♥÷≈→≈  ⇔  ° ≡±→ ° →≈°→≈↑≈″←•″≠ ″±•↑≈ ≡→≈≈ ±↑≈→♠↵←•±″∫ ⊂÷≈ •←÷ _{←≈→≥ ±≡} _{≡±→ ←÷≈ ÷♣→•… ≥±…≈× •↑ ≠•♠≈″}

♣

•  • ≈♦°



≥•

  ∑

♥÷≈→≈ • …•±↑ • ≡±→ ←÷≈ ≈↑←•≥↵←•±″ ±≡ ♦±±→…•″↵←≈ ±≡

←÷≈ ⊂ ↵″… • …•↑•″ • ≡±→ ←÷≈ ≈↑←•≥↵←•±″ ±≡ ♣ ±±→…•″↵←≈

↑↔↑≈←•±″ ←± →≈≥±♠≈ ←÷≈ •↵↑ ≡→±≥ ←÷≈ ↑♣↑←≈≥∫

↵″…  ↵→≈ ↵↑ ≡±××±♥↑

ℜ

♦ ♦•⌡ ℜ…•±↑ ℜ• • ≡±→• ∑    ∑  

ℜ

♣ ♣•⌡ ℜ…•↑•″ ℜ• • ≡±→• ∑    ∑  

♥÷≈→≈ • •↑ ←÷≈ ↔″•↵↑•″≠ ±″↑←↵″← ↔↑≈… •″ ←÷≈•←÷ ±↑≈→♠↵⌠

←•±″∫ ⋅←↑ ♠↵×↔≈ •↑ ≠•♠≈″ ♣

• ≈♦°



≥•  

(4)

′

°_¬ °′♦ °′♣ ⊂

∑

♥÷≈→≈ °′♦  ♦⌡ ℜ…±↑ ℜ ∑ ∑ ♦⌡ ℜ…±↑ ℜ  ⊂

↵″…°ℜ♣  ♣⌡ ℜ…↑•″ ℜ ∑ ∑ ♣⌡ ℜ…↑•″ ℜ  ⊂



⊂÷≈ ⊆ ↑±×↔←•±″ ≡±→ ←÷•↑ ↑♣↑←≈≥ •↑ ≠•♠≈″ ♣

ℜ

↔_¬⇓♣_¬°′_¬

⋅⋅⋅∫ ⊂¬⇔⇑∇∇∠⇔∈⇓⊂⋅⊇⇔¬∩⇒∈⋅⇐∇⇐⇔

⋅″ ←÷≈ ÷♣→•… ≥±…≈× …•↑↔↑↑≈… •″ ↑≈←•±″  ←÷≈→≈ •↑ ″± ±≥⌠ ≥↔″•↵←•±″ ×•″∝↑ ≈←♥≈≈″ ⊂↑∫ ±♥ ♥≈ ±″↑•…≈→ ↵ ″≈←♥±→∝ •″ ♥÷•÷ ↵ ⊂ ↵″ ±≥≥↔″•↵←≈ ♥•←÷ ±←÷≈→ ⊂↑ ↵×±″≠ ♥•←÷ ←÷≈ ⇓↑∫ ⇑±″↑•…≈→ ↵ ″≈←♥±→∝ ±≡ ⇓↑ ↵″… ⊂↑∫ ≈←…ℜ•∂

↵″… ℜ•∂ ≈ ←÷≈ ≥≈↵↑↔→≈… …•↑←↵″≈ ↵″… ↵″≠×≈ ≈←♥≈≈″ •←÷ ⇓

↵″… ∂←÷ _{⊂ ↵″… ↵→≈ ≠•♠≈″ ♣  ↵″…  →≈↑°≈←•♠≈×♣∫ ¬≈→≈}

♥≈ ↔↑≈ ←÷≈ ″±←↵←•±″ ♦∂ ↵″…♣∂ ≡±→ ←÷≈ ♦↵″…♣ ±±→…•″↵←≈ ±≡

∂←÷ _⊂∫

ℜ

…•∂…•∂⌡″•∂∑ 

♥÷≈→≈

…•∂  ♦• ♦∂ ♣• ♣∂∑

↵″…

ℜ_•∂ _ _•∂_⌡≥•∂∑ 

♥÷≈→≈

•∂  ↵→←↵″

♣∂ ♣•

♦∂ ♦•



∇″ ←÷≈ ±←÷≈→ ÷↵″… ×≈←⇐ℜ∂∝↵″…ℜ∂∝≈ ←÷≈ ≥≈↵↑↔→≈… …•↑←↵″≈

↵″… ↵″≠×≈ ≈←♥≈≈″ ∂←÷ _↵″…_∝←÷ _{⊂ ♥÷•÷ ↵→≈ ≠•♠≈″ ♣ }

↵″…  →≈↑°≈←•♠≈×♣∫

ℜ

⇐∂∝⇐∂∝⌡″∂∝∑ 

♥÷≈→≈

⇐∂∝ ♦∝ ♦∂⌡ ♣∝ ♣∂∑

↵″…

ℜ∂∝ ∂∝⌡≥∂∝∑ 

♥÷≈→≈

∂∝ ↵→←↵″

♣∝ ♣∂

♦∝ ♦∂



″•∂∑ ″∂∝∑ ≥•∂ ↵″… ≥∂∝ →≈°→≈↑≈″←↑ ←÷≈ ƒ≈→± ≥≈↵″ ∧↵↔↑↑•↵″

″±•↑≈ •″ ←÷≈ ≈↑←•≥↵←≈ ±≡ …ℜ•∂ ⇐ℜ∂∝∑ ℜ•∂ ↵″… ℜ∂∝ →≈↑°≈←•♠≈×♣

•∫≈∫ ″•∂  ð ″•∂  ″∂∝  ð



″∂∝ ∑ ≥•∂  ð 

≥•∂ ↵″…≥∂∝  ð



≥∂∝ ∫

⊂÷≈″ ←÷≈♦ ±±→…•″↵←≈ ±≡ ∂←÷

⊂ ↵″ ≈ ≈↑←•≥↵←≈… ♣ ←÷≈ ≡±××±♥•″≠ ≈↓↔↵←•±″↑

ℜ

♦∂ ♦•⌡ ℜ…•∂±↑ ℜ•∂ •∂ ≡±→• ∑    ∑  ð

♦±±→…•″↵←≈ ±≡∂←÷ _{⊂ •″ ±±°≈→↵←•±″ ♥•←÷}_∝←÷ _{⊂ •↑}

ℜ

♦∂ ♦•⌡ ℜ…•∝±↑ ℜ•∝ •∝ ⇐ℜ∂∝±↑ ℜ∂∝ ∂∝ ≡±→• ∑    ∑ 

 ⊆•≥•×↵→×♣ ←÷≈ ♣ ±±→…•″↵←≈ ↵″ ≈ ≈↑←•≥↵←≈… ♣

ℜ

♣∂ ♣•⌡ ℜ…•∂↑•″ ℜ•∂ •∂ ≡±→• ∑    ∑  

↵″…

ℜ

♣∂ ♣•⌡ ℜ…•∝↑•″ ℜ•∝ •∝ ⇐ℜ∂∝↑•″ ℜ∂∝ ∂∝ ≡±→• ∑    ∑ 

 ♥÷≈→≈ •∂ ↵″… ∂∝ ↵→≈ ←÷≈ •↵↑ →≈…↔•″≠ ±″↑←↵″←↑ ♥÷±↑≈

♠↵×↔≈↑ ↵→≈ ≠•♠≈″ ♣

•∂  ≈♦°



≥•∂  

∂∝ ≈♦°



≥∂∝

 

ð ↵″…  ↵→≈ ←÷≈ ↑↵≥≈ ↵↑  ↵″…  ♥÷•÷ •↑ ←÷≈ ±″←→•↔←•±″ ≡→±≥ ←÷≈ ⇓↑∫ ∇″ ←÷≈ ±←÷≈→ ÷↵″…  ↵″…  •↑ ←÷≈ ±″←→•↔←•±″ ≡→±≥ ←÷≈ ⊂↑∫ ð ←±  ↵″ ≈ ≈♦←≈″…≈… ←± ⊂↑ ↵″… ↵″ ≈ ♥→•←←≈″ •″ ≥↵←→•♦ ≡±→≥ ↵↑

⇓↔ℜℜ

♥÷≈→≈⇓ …•↵≠⊕⇔∑    ∑⇔℘ ∈  ∑↵″…⇔•↑ ±×↔≥″ ≥↵←→•♦ ±≡  ±″≈↑∫

ℜ

↔ ⊕ℜ♦_∑    ∑♦ℜ∑♣ℜ∑    ∑♣ℜ℘ ⊂

∈ ∑ ℜ

 ℜ♦∑ ℜ♣ ⊂

∈  ∑

♥÷≈→≈

ℜ

♦ ♦ℑ∑ ♦ϒ∑    ∑ ♦ℑ∑ ♦ϒ ⊂

 ∈  

↵″…

ℑ

♦∂

♦_⌡ ℜ…_∂±↑ ℜ_∂ _∂

♦_⌡ ℜ…_∂±↑ ℜ∂ ∂

∫∫ ∫

♦⌡ ℜ… ∂±↑ ℜ ∂  ∂

∈ ∑♦ϒ∂ ∂∑    ∑ ∂ ⊂

↵″…

∂∝ ℑ♦∝ ⇐ℜ∂∝±↑ ℜ∂∝ ∂∝≈ ≡±→ ∝ ∑    ∑  ∂∝

⊆•≥•×↵→×♣ ♠≈←±→ℜ♣  ♣ℑ∑ ♣ϒ∑    ∑ ♣ℑ∑ ♣ϒ ⊂

 ∈  ∫

(5)

ð ð ð ð ð ð ð ð ð ð ðð ð

ð ð ð ð ð ð ð ð ð ðð

≥ ⊂↑

⇓↑

∨•≠↔→≈ ∫ ≈←♥±→∝ …≈°×±♣≥≈″←

ℑ

♣∂

♣_⌡ ℜ…_∂↑•″ ℜ∂ ∂

♣_⌡ ℜ…_∂↑•″ ℜ_∂ _∂

∫∫ ∫

♣⌡ ℜ… ∂↑•″ ℜ ∂  ∂

∈ ∑♣ϒ∂ ℜ∩∂∑    ∑∩ℜ∂ ⊂

∑

↵″…

ℜ

∩∂∝ ℑ♣∝ ⇐ℜ∂∝↑•″ ℜ∂∝ ∂∝≈ ≡±→∝ ∑∑   ∂∝

 ⊂÷≈ ⊆ ↑±×↔←•±″ ≡±→ ←÷≈ ×•″≈↵→ ↑♣↑←≈≥ •↑ ≠•♠≈″ ♣

ℜ

↔⇓♣ℜ∑ 

♥÷≈→≈⇓♣ _{· ¬¸» Ó±±®»Ð»²®±» °»«¼± ·²ª»®» ±º}_⇓_{↵″… •↑}

≠•♠≈″ ♣ ⇓♣ _ _⇓⊂_⇓ _⇓⊂_ _{↵←→•♦}_⇓♣ _{↵″ ≈ ↵×↔×↵←≈…}

…•→≈←×♣ ♥•←÷±↔← ←↵∝•″≠ ←÷≈ °↑≈↔…± •″♠≈→↑≈ •≡ ←÷≈ ″↔≥≈→ ±≡ ⊂↑ ↵″… ⇓↑ ↵→≈ ∝″±♥″ •∫≈∫

⇓♣  …•↵≠ ⊕ ∑ ∑ ∑ ℘  ∈  ∑  ♥÷≈→≈ •↑ ↵ ±×↔≥″ ≥↵←→•♦ ±≡  ≈×≈≥≈″←↑ ←÷≈ ♠↵×↔≈ ±≡ ≈↵÷ ≈×≈≥≈″← •↑ ≠•♠≈″ ♣ _{ } 

⋅⊇∫ ⊆⋅⊄⇓⊂⋅∇ ∈⇔⊆⊄⊂⊆

⇓ ″≈←♥±→∝ ±≡ ðð≥ ðð≥ •↑ ±″↑•…≈→≈…∫  ⇓↑ ↵←

∑∑∑∑∑↵″…∑↵→≈ ←↵∝≈″ ♥•←÷  ⊂ ↵← →↵″…±≥∫ ⊂÷≈ ⊂↑ ↵→≈ ←↵∝≈″ •″↑•…≈ ↵↑ ♥≈×× ↵↑ ±↔←↑•…≈ ←÷≈ ±″♠≈♦ ÷↔×× ±≡ ←÷≈ ⇓↑∫ ⊂÷≈ ″≈←♥±→∝ …≈°×±♣≥≈″← •↑ ↑÷±♥″ •″ ∨•≠∫ ∫

∨•≠∫  °×±←↑ ←÷≈ •↵↑ ±≡ ←÷≈ ↑♣↑←≈≥ ♥•←÷ ↵″… ♥•←÷±↔← ←÷≈ ±″↑•…≈→↵←•±″ ±≡ ←÷≈ ↔″•↵↑•″≠ ±″↑←↵″←∫ ⊂÷≈ ↑•≥↔×↵←•±″ •↑ →↔″ •″…≈°≈″…≈″←×♣ ←•≥≈↑∫ ⊂÷≈ →≈… ↔→♠≈ →≈°→≈↑≈″←↑ ←÷≈ •↵↑ ♥÷≈″

• •↑ •≠″±→≈…∫ ⇓↑ ↵″ ≈ ↑≈≈″ ←÷≈ •↵↑ •″→≈↵↑≈↑ ♥•←÷ ←÷≈

•″→≈↵↑≈ •″ ″±•↑≈ ♠↵→•↵″≈ ±≡ ↵″≠×≈ ≈↑←•≥↵←≈∫ ∇″ ←÷≈ ±←÷≈→ ÷↵″… ←÷≈ ×↔≈ ↔→♠≈ →≈°→≈↑≈″←↑ ←÷≈ •↵↑ ♥÷≈″ • •↑ ±″↑•…≈→≈…∫ ∨•≠∫

 ↑÷±♥↑ ←÷↵← ←÷≈ ↑♣↑←≈≥ •↑ ↔″•↵↑≈… ↵← ↵×× ♠↵→•↵″≈↑ •≡ • •↑

←↵∝≈″ •″ ←÷≈ ≥±…≈×∫

⋅″ ∨•≠∫  ←÷≈ ±±°≈→↵←•♠≈ ↵″… ″±″⌠±±°≈→↵←•♠≈ ÷♣→•… ⇓±⇓⌠ ⊂±⇓ ↵×≠±→•←÷≥↑ ↵→≈ ±≥°↵→≈…∫ ∨±→ ↑•≥°×••←♣ ←÷≈ ↑↵≥≈ ″±•↑≈

ð     

⌠ð∫ ð ð∫ ð∫ ð∫ ð∫  ∫



≥…≈≠

⇒•↵↑≈… ≥±…≈× ⊄″•↵↑≈… ≥±…≈×

∨•≠↔→≈ ∫ ⇒•↵↑ •″ ←÷≈ •↵↑≈… ↵″… ↔″•↵↑≈… ≥±…≈×↑∫ ⇓↑ ⊂↑  ðð_

     

        ð

 ″≥

__∑ ≥…≈≠

±″⌠⇑±±°≈→↵←•♠≈ ⊆ ⇑±±°≈→↵←•♠≈ ⊆

∨•≠↔→≈ ∫ ∠≈→≡±→≥↵″≈ ±≥°↵→•↑±″ ≈←♥≈≈″ ⊆⌠±″ ±±°≈→↵←•♠≈ ↵″… ⊆⌠ ⇑±±°≈→↵←•♠≈ ÷♣→•… ⇓±⇓⌠⊂±⇓ ×±↵×•ƒ↵←•±″∫ ⇓↑ ⊂↑  ðð_

♠↵→•↵″≈ •″ …•↑←↵″≈ ↵″… ↵″≠×≈ ≥≈↵↑↔→≈≥≈″←↑ •↑ ↔↑≈… ≡±→ ↵×× ⇓⌠⊂ ↵″… ⊂⌠⊂ ×•″∝↑ •∫≈ ″•∂ 



″∂∝ 



″ ↵″…



≥•∂ 



≥∂∝ 



≥∫ ⊂÷≈ °≈→≡±→≥↵″≈ •″ ←≈→≥↑ ±≡ ←÷≈

↵♠≈→↵≠≈ →±±← ≥≈↵″ ↑↓↔↵→≈ ≈→→±→ ⇓♠≠∫ ∈⊆⇔ •↑ ±≥°↵→≈… ♥÷•×≈ ←÷≈ ♠↵→•↵″≈ •″ …•↑←↵″≈ ↵″… ↵″≠×≈ ≈↑←•≥↵←≈↑ •↑ •″→≈↵↑≈…∫ ∨•≠∫  ↑÷±♥↑ ←÷↵← ←÷≈ ±±°≈→↵←•♠≈ ≥±…≈× ±↔←°≈→≡±→≥↑ ←÷≈ ″±″ ±±°≈→↵←•♠≈ ±↔″←≈→°↵→← ♣ ↵ ×↵→≠≈ ≥↵→≠•″∫

⋅″ ∨•≠∫  ←÷≈ °≈→≡±→≥↵″≈ ±≡ ±←÷ ↑♣↑←≈≥↑ •↑ ±≥°↵→≈… ↵→±↑↑ …•↑←↵″≈ ″±•↑≈ ♠↵→•↵″≈ ↵×±″≠ ♦⌠↵♦•↑ ↵″… ↵″≠×≈ ″±•↑≈ ♠↵→•↵″≈ ↵→±↑↑ ♣⌠↵♦•↑ ♥÷•×≈ ƒ⌠↵♦•↑ →≈°→≈↑≈″←↑ ←÷≈ ↵♠≈→↵≠≈ ∈⊆⇔∫ ⇓≠↵•″ ↵↑ ≈♦°≈←≈… ←÷≈ ±±°≈→↵←•♠≈ ≥±…≈× ↑÷±♥↑ ≈←←≈→ °≈→≡±→≥↵″≈ ←÷↵″ ←÷≈ ″±″⌠±±°≈→↵←•♠≈ ♠≈→↑•±″∫ ∨→±≥ ∨•≠∫  ←÷≈ ≈≡≡≈← ±≡ ±←÷ ″±•↑≈ ♠↵→•↵″≈ ±″ ↑♣↑←≈≥ °≈→≡±→≥↵″≈ ↵″ ≈ ↑≈≈″∫ ⋅← ↵″ ≈ ↑≈≈″ ←÷↵← ←÷≈ °≈→≡±→≥↵″≈ …≈≠→↵…≈ ↵← ↵ ÷•≠÷≈→ →↵←≈ ♥•←÷ ←÷≈ •″→≈↵↑≈ •″ ↵″≠×≈ ″±•↑≈ ♠↵→•↵″≈ ♥÷•×≈ …•↑←↵″≈ ″±•↑≈ ♠↵→•↵″≈ ÷↵↑ ×≈↑↑ ≈≡≡≈← ±″ °≈→≡±→≥↵″≈ ±≡ ±←÷ ↑♣↑←≈≥↑∫ ⊂÷•↑ •↑ …↔≈ ←± ←÷≈ ≡↵← ←÷↵← ←÷≈ ↵″≠×≈ ″±•↑≈ ♠↵→•↵″≈ •↑ …•↑←↵″≈ …≈°≈″…≈″← ↵″… ←÷↔↑ …≈≠→↵…≈↑ ←÷≈ °≈→≡±→≥↵″≈ ±≡ ←÷≈ ↑♣↑←≈≥ ♥÷≈″ …•↑←↵″≈ ≈←♥≈≈″ ″±…≈↑ •↑ ×↵→≠≈→∫

⊇∫ ⇑∇⇑⊄⊆⋅∇ ⇓⇐∨⊄⊂⊄∈⇔⊃∇∈∏

(6)

∨•≠↔→≈ ∫ ∠≈→≡±→≥↵″≈ ±≥°↵→•↑±″ ≈←♥≈≈″ ⊆⌠±″ ±±°≈→↵←•♠≈ ↵″… ⊆⌠ ⇑±±°≈→↵←•♠≈ ÷♣→•… ⇓±⇓⌠⊂±⇓ ×±↵×•ƒ↵←•±″∫ ⇓↑ ⊂↑♦⌠↵♦•↑ …•↑←↵″≈

″±•↑≈ ♠↵→•↵″≈ ♣⌠↵♦•↑ ↵″≠×≈ ″±•↑≈ ♠↵→•↵″≈ƒ⌠↵♦•↑ ⇓♠≠∫ ∈⊆⇔  ðð_

±≡ ←÷≈ ↔″•↵↑•″≠ ±″↑←↵″←∫ ∨↔→←÷≈→≥±→≈ ↵ ±±°≈→↵←•♠≈ ÷♣→•… ⇓±⇓⌠⊂±⇓ ⊆ ↑±×↔←•±″ ♥↵↑ °→±°±↑≈…∫ ⊂÷→±↔≠÷ ↑•≥↔×↵←•±″ •← ♥↵↑ ↑÷±♥″ ←÷↵← ♣ ←÷≈ •″←→±…↔←•±″ ±≡ ↔″•↵↑•″≠ ±″↑←↵″← ←÷≈ •↵↑ ±≡ ←÷≈ ↑♣↑←≈≥ •↑ →≈…↔≈… ←± ƒ≈→±∫ ⋅← ♥↵↑ ↵×↑± ↑÷±♥″ ←÷→±↔≠÷ ↑•≥↔×↵←•±″ ←÷↵← ←÷≈ ±±°≈→↵←•♠≈ ≥±…≈× ↑÷±♥↑ ≈←←≈→ °≈→≡±→≥↵″≈ ←÷↵″ ←÷≈ ″±″⌠±±°≈→↵←•♠≈ ≥±…≈×∫

⊂÷≈ ↑±×↔←•±″ °→±°±↑≈… •″ ←÷•↑ °↵°≈→ ↵″ ≈ ≈♦←≈″…≈… ←± °↵→⌠ ←•↵× ±″″≈←•♠•←♣ ≈←♥≈≈″ ⊂⌠⊂∫ ⊆•″≈ ←÷≈ ″±•↑≈ •″ ←÷≈ ≥±…≈× •↑ …•↑←↵″≈ …≈°≈″…≈″← ±±°≈→↵←•±″ ♥•←÷ ″±…≈↑ ↵← ×↵→≠≈ …•↑←↵″≈ •↑ ″±← ±″♠≈″•≈″← ↵↑ •← …≈≠→↵…≈↑ ←÷≈ ±♠≈→↵×× °≈→≡±→≥↵″≈ ±≡ ←÷≈ ↑♣↑←≈≥∫ ⊂÷↔↑ ↵ ″≈♥ ≥±…≈× ↵″ ≈ °→±°±↑≈… •″ ♥÷•÷ ±±°≈→↵←•±″ ♥•←÷ ±″×♣ ←÷≈ ″≈↵→♣ ″±…≈↑ •↑ …±″≈∫ ∨↔→←÷≈→≥±→≈ ←÷≈ ↑♣↑←≈≥ ↵″ ≈ ≈♦←≈″…≈… ←± …•↑←→•↔←≈… ≥±…≈× ♥÷≈→≈ ←÷≈ ×±↵×•ƒ↵←•±″ ±≡ ↵×× ←÷≈ ⊂↑ •↑ ″±← →≈↓↔•→≈…∫

∈⇔∨⇔∈⇔⇑⇔⊆

⊕℘ ∫ ∠↵←♥↵→• √∫ ⇓↑÷ ⊆∫ ∏♣°≈→±↔″←↵↑ ⇓∫ ¬≈→± ∈∫ ±↑≈↑ ↵″… ∫ ⇑±→→≈↵× •±↵←•″≠ ←÷≈ ″±…≈↑ ±±°≈→↵←•♠≈ ×±↵×•ƒ↵←•±″ •″ ♥•→≈×≈↑↑ ↑≈″↑±→ ″≈←⌠

ðð∫

⊕℘ ∫ ⊆↵×≥↵″ ⇓∫ ∏≈≥° ↵″… ∫ ∧÷±≠÷± •±♥ ±≥°×≈♦•←♣ ∂±•″← ≈↑←•≥↵←•±″

±º ´±½¿¬·±² ¿²¼ °¿¬¸ó´± »¨°±²»²¬ô⊃•→≈×≈↑↑ ⇑±≥≥↔″•↵←•±″↑ ≈←←≈→↑ ⋅⇔⇔⇔ô ª±´ò ïô ²±ò ìô °°ò íêìíêéô îðïîò

⊕℘ ∫ ⊆↵×≥↵″ ∫ ∧÷±≠÷± ↵″… ⇓∫ ∏≈≥° •∇°←•≥•ƒ≈… ×±♥ ±≥°×≈♦•←♣

⊕℘ ⇓∫ ∈↵↵÷•″ ⋅∫ ∇°°≈→≥↵″″ ↵″… ⇒∫ ⇐≈″•↑ •× ←•≥≈⌠±≡⌠↵→→•♠↵× ≈↑←•≥↵⌠

¬·±² ¾¿»¼ ±² ´±© ½±³°´»¨·¬§ «©¾ »²»®¹§ ¼»¬»½¬·±²ô ·²⊄×←→↵⌠⊃•…≈↵″… ⊂÷≈ ðð ⋅⇔⇔⇔ ðð ⋅″←≈→″↵←•±″↵× ⇑±″≡≈→≈″≈ ±″ô îððêô °°ò ëççêðìò

⊕℘ ∫ ∠↵←♥↵→• ⇓∫ ¬≈→± ∫ ∠≈→∝•″↑ ∫ ⇑±→→≈↵× ↵″… ∈∫ ∇⇐≈↵ •∈≈×↵←•♠≈

´±½¿¬·±² »¬·³¿¬·±² ·² ©·®»´» »²±® ²»¬©±®µô ⊆•≠″↵× ∠→±≈↑↑•″≠ ⋅⇔⇔⇔ ⊂→↵″↑↵←•±″↑ ±″ô ª±´ò ëïô ²±ò èô °°ò îïíéîïìèô îððíò

•″⊇≈÷•↔×↵→ ⊂≈÷″±×±≠♣ ⇑±″≡≈→≈″≈ ððð∫ ⋅⇔⇔⇔⌠⊇⊂⊆ ∨↵×× ⊇⊂⇑ ððð∫ ″…ô ª±´ò ìô îðððô °°ò ïçìíïçìç ª±´òìò

⊕℘ ∅∫ ⊆∫ ⋅↑≥↵•× ∧↔♠≈″ ⊆•″↵″ ∧≈ƒ•• •∨↔″…↵≥≈″←↵× ×•≥•←↑ ↵″… •≥°→±♠≈…

⊕℘ ¬∫⌠⇑∫ ⇑÷≈″ ⊂∫⌠¬∫ •″ ¬∫ ∏↔″≠ ⇑∫⌠∏∫ •″ ↵″… ∩∫ ∧♥±″ •⇐≈←≈→≥•″•″≠

•″⋅⋅⊂⇓∈∩ ⇑∇⊄⋅⇑⇓⊂⋅∇⊆ ⇑∇∨⇔∈⇔⇑⇔ ð ⌠ ⋅⇑∇

ðô îðïîô °°ò ïêò

⊕℘ ⇓∫ ↵↑•°↔→• ↵″… ∏∫ • •⇓ …•→≈←•±″↵×•←♣ ↵↑≈… ×±↵←•±″ …•↑±♠≈→♣ ↑÷≈≥≈

ÅïðÃ Îò Í½¸³·¼¬ô Ó«´¬·°´» »³·¬¬»® ´±½¿¬·±² ¿²¼ ·¹²¿´ °¿®¿³»¬»® »¬·³¿¬·±²ô

⇓″←≈″″↵↑ ↵″… ∠→±°↵≠↵←•±″ ⋅⇔⇔⇔ ⊂→↵″↑↵←•±″↑ ±″ ♠±×∫  ″±∫  °°∫

îéêîèðô ïçèêò

⊕℘ ∈∫ ∈±♣ ⇓∫ ∠↵↔×→↵∂ ↵″… ⊂∫ ∏↵•×↵←÷ •⇔↑←•≥↵←•±″ ±≡ ↑•≠″↵× °↵→↵≥≈←≈→↑ ♠•↵

®±¬¿¬·±²¿´ ·²ª¿®·¿²½» ¬»½¸²·¯«» ó »°®·¬ô ·²•×•←↵→♣ ⇑±≥≥↔″•↵←•±″↑ ⇑±″≡≈→≈″≈ ⌠ ⇑±≥≥↔″•↵←•±″↑⌠⇑±≥°↔←≈→↑ ⊂≈↵≥≈… ≡±→ ←÷≈ ð↑ ∫ ⋅⇑∇ ∫ ⋅⇔⇔⇔ô ª±´ò íô ïçèêô °°ò ìïòêòïìïòêòëò

⊕℘ ∫ ⊆↵×≥↵″ ∫ ∧÷±≠÷± ↵″… ⇓∫ ∏≈≥° •∇″ ←÷≈ ∂±•″← ≈↑←•≥↵←•±″ ±≡ ←÷≈

®ó¾¿»¼ ´±½¿¬·±² ¿²¼ °¿¬¸ó´± »¨°±²»²¬ô⊃•→≈×≈↑↑ ⇑±≥≥↔″•↵←•±″↑ ≈←←≈→↑ ⋅⇔⇔⇔ô ª±´ò ïô ²±ò ïô °°ò íìíéô îðïîò

⊕℘ ⇑∫ ⊃↵″≠ √∫ ⇑÷≈″ ∩∫ ⊆↔″ ↵″… ∪∫ ⊆÷≈″ •⊃•→≈×≈↑↑ ↑≈″↑±→ ″≈←♥±→∝↑

⊕℘ ⊇∫ ⇐∫ ∫ ÷↵← ∫ ⊇± ⊆∫ ⇑÷↵××↵ ↵″… ⊆∫ ≈≈ •±″≥≈←→• ≥…↑ ≡±→ ↑≈″↑±→

´±½¿´·¦¿¬·±²ô ·²⊃•→≈×≈↑↑ ∠≈→♠↵↑•♠≈ ⇑±≥°↔←•″≠ ðð∫ ⋅⊆⊃∠⇑ ðð∫ →… ⋅″←≈→″↵←•±″↵× ⊆♣≥°±↑•↔≥ ±″ô Ó¿§ îððèô °°ò íçêìððò

⊕℘ √∫ ⇓∫ ⇑±↑←↵ ∫ ∠↵←♥↵→• ↵″… ⇓∫ ∇∫ ¬∫ ⋅⋅⋅ •⇐•↑←→•↔←≈… ♥≈•≠÷←≈…⌠

³«´¬·¼·³»²·±²¿´ ½¿´·²¹ º±® ²±¼» ´±½¿´·¦¿¬·±² ·² »²±® ²»¬©±®µô⇓⇑ ⊂∈⇓⊆⇓⇑⊂⋅∇⊆ ∇ ⊆⇔⊆∇∈ ⇔⊂⊃∇∈∏⊆ô ª±´ò îô °°ò íçêìô îððëò

⊕℘ √∫ …≈ ≈≈↔♥ ↵″… ∠∫ ↵•→ •↔×←•…•≥≈″↑•±″↵× ↑↵×•″≠ ↔↑•″≠ ≥↵∂±→•ƒ↵←•±″

Í³¿½±º ·² ®ô√±↔→″↵× ±≡ ⊆←↵←•↑←•↵× ⊆±≡←♥↵→≈ô ª±´ò íïô ²±ò íô °°ò ïíðô

 ðð∫

⊕℘ ∫ ⇓×↑•″…• ∏∫ ∠↵÷×↵♠↵″ ↵″… ⇒∫ ⇓×↵♠• •⇓″ ≈→→±→ °→±°↵≠↵←•±″ ↵♥↵→≈

¿´¹±®·¬¸³ º±® °®»½·» ½±±°»®¿¬·ª» ·²¼±±® ´±½¿´·¦¿¬·±²ô ·²•×•←↵→♣ ⇑±≥⌠ ≥↔″•↵←•±″↑ ⇑±″≡≈→≈″≈ ðð∫ ⋅⇑∇ ðð∫ ⋅⇔⇔⇔ô îððêô °°ò ïéò

⊕℘ ⇐∫ •↔×≈↑↔ ↵″… ⇒∫ ↵←÷ •⇓… ÷± °±↑•←•±″•″≠ ↑♣↑←≈≥ ⇓∠⊆ ↔↑•″≠

ßÑßô ·²⋅∨∇⇑∇ ðð∫ ⊂♥≈″←♣⌠⊆≈±″… ⇓″″↔↵× √±•″← ⇑±″≡≈→≈″≈ ±≡ ←÷≈ ⋅⇔⇔⇔ ⇑±≥°↔←≈→ ↵″… ⇑±≥≥↔″•↵←•±″↑∫ ⋅⇔⇔⇔ ⊆±•≈←•≈↑ ♠±×∫  ðð

°°ò ïéíìïéìí ª±´òíò

ÅïçÃ Õò Ç«ô íó¼ ´±½¿´·¦¿¬·±² »®®±® ¿²¿´§· ·² ©·®»´» ²»¬©±®µô⊃•→≈×≈↑↑ ⇑±≥≥↔″•↵←•±″↑ ⋅⇔⇔⇔ ⊂→↵″↑↵←•±″↑ ±″ô ª±´ò êô ²±ò ïðô °°ò íìéîíìèïô