# \#divide-by-zero

**URL:** https://swi-prolog.discourse.group/tag/divide-by-zero/137.md

[Latest](https://swi-prolog.discourse.group/latest.md) · [Categories](https://swi-prolog.discourse.group/categories.md) · [Tags](https://swi-prolog.discourse.group/tags.md)

---

## [A logical reading in a specification on division on family of sets similar to division by 0](https://swi-prolog.discourse.group/t/a-logical-reading-in-a-specification-on-division-on-family-of-sets-similar-to-division-by-0/5957)

<div class="topic-metadata">

**Author:** [@kuniaki.mukai](https://swi-prolog.discourse.group/u/kuniaki.mukai)\
**Replies:** 5\
**Last updated:** [November 25, 2022, 9:56pm UTC](https://swi-prolog.discourse.group/t/a-logical-reading-in-a-specification-on-division-on-family-of-sets-similar-to-division-by-0/5957 "2022-11-25T21:56:07Z")

</div>

Here is an exercise for ZDD programming. Let X, Y be a family of sets. For X, Y, compute a family Z of sets defined Z = { A in X | forall B in Y B is a subset of A }. Let the symbol X / Y be for Z for simplicity i…