**finite**if and only if $X$ is an D796: Infinite set.

▼ | Set of symbols |

▼ | Alphabet |

▼ | Deduction system |

▼ | Theory |

▼ | Zermelo-Fraenkel set theory |

▼ | Set |

▼ | Binary cartesian set product |

▼ | Binary relation |

▼ | Binary endorelation |

▼ | Digraph |

▼ | Digraph order |