1

In the ECMAScript spec, it says:

A Relation is least with respect to some conditions when it is the smallest Relation that satisfies those conditions.

To be honest, I do not really understand the meaning of this sentence. Can you provide examples when a relation is smaller than another relation, and explain why?

MaximPro
  • 563
  • 8
  • 21
  • 1
    Please give some context for that sentence. The spec text is long. Maybe you can even link the relevant section? – Bergi Oct 01 '19 at 01:05
  • Ah, you're reading the latest draft not ES6. – Bergi Oct 01 '19 at 01:13
  • 1
    "Smaller" probably refers to the size of the relation, i.e. the number of its elements. – Bergi Oct 01 '19 at 01:14
  • 1
    Here’s an example of this definition being used: _“For a candidate execution `execution`, `execution.[[ReadsFrom]]` is the **least Relation** on events that satisfies the following. […]”_ — [27.6.3 Relations of Candidate Executions — `reads-from`](https://tc39.es/ecma262/#sec-reads-from). Sections 27.6.5 and 27.6.6 use it, too. – Sebastian Simon Oct 01 '19 at 01:14
  • `{}` is smaller than `{(0,0)}` because `{}` has 0 elements and `{(0,0)}` has one element. – melpomene Oct 01 '19 at 01:21
  • @SebastianSimon thanks for editing my question and corresponding links. It's interesting enough. But so far it’s not clear enough. And I think this is not about the number of elements. – MaximPro Oct 01 '19 at 01:37
  • Btw, if you are [cross-posting your questions](https://github.com/tc39/ecma262/issues/1711), please mention it somewhere. – Bergi Oct 01 '19 at 02:15
  • @bergi haha, found me oops. Well, is it really bad to ask the same question in a few places? There, if they give an answer, then most likely more correct than on SO. And what exactly do you want me to point out? – MaximPro Oct 01 '19 at 02:26
  • @MaximPro No, it's not necessarily a bad thing (and no longer [as harshly criticised as in the old days](https://en.wikipedia.org/wiki/Crossposting)), the bad thing is to not mention it in your post so that readers cannot know you already got a response elsewhere. – Bergi Oct 01 '19 at 08:30

0 Answers0